热度排名 #518

自然数是什么？从皮亚诺公理说起

What Does It Mean to Be a Number? (The Peano Axioms) | Infinite Series

跟着后继运算想一想，怎样从一个起点逐个生成自然数，归纳法又如何保证从起点向后传递的性质覆盖全部自然数。

PBS Infinite Series · 2 串讨论 · 热度 4.799

讨论出处