原文:作为原理的数学和作为方法的数学