总结:
1.自然数集可抽象出若干特征:有始无终、不循环、单链的。
2.以上特征可用 集合 和 映射 的数学语言去描述。
3.描述的四点即Peano公理的内容。
4.定义单链用到了数学归纳的思想,即定义起始元素和建立递推。
5.建立公理化的思想可对事物进行判别,还可用于推广概念。