论文部分内容阅读
【正】 逻辑主义、直觉主义和形式主义二十世纪初,当罗素申言,算术是逻辑的延伸时,他从意大利数学家和逻辑学家皮亚诺的早期研究成果中颇有受益。皮亚诺不相信,算术的初始概念即零、数和一个数的后继能化归为逻辑的术语。然而,他认为值得想望的是把算术建立在公理基础之上。含有这个意思的建议初次发表在他的《用新方法说明的算术原理》