總結(jié)：

1.自然數(shù)集可抽象出若干特征：有始無終、不循環(huán)、單鏈的。

2.以上特征可用 集合 和 映射 的數(shù)學(xué)語言去描述。

3.描述的四點(diǎn)即Peano公理的內(nèi)容。

4.定義單鏈用到了數(shù)學(xué)歸納的思想，即定義起始元素和建立遞推。

5.建立公理化的思想可對事物進(jìn)行判別，還可用于推廣概念。