戴德金与皮亚诺都是在分析算术化背景下进行算术基础研究的数学家.通过文献考证与理论分析的方法,对他们的研究工作进行比较,得到的结果如下:戴德金和皮亚诺研究目的不同;戴德金的工作体现出一般化的特点,皮亚诺更加重视逻辑符号的系统化.由于戴德金的研究表述过于抽象复杂,而皮亚诺的研究使用了现代逻辑符号,更易为人们所接受,易于理解,所以,至今关于自然数的公理还被大多数人称为皮亚诺公理.
戴德金 皮亚诺 算术基础 自然数 皮亚诺公理