自然数

自然数係自自然然数得出嗰数。头先係0，跟到係1，接到係2，3...。

用集合论语言嗰定义：0起先就拕定义为空集，跟到1拕定义为0嗰后继,即集合0'={0}。 跟到2拕定义为1嗰后继，即集合1'=0' '={0,1}={0,{0}}。 跟到3拕定义为2嗰后继，即集合2'=0' ' '={0,1,2}={0,{0}，{0,{0}}},......。

读者可以自家用集合论证明：0伓等于1，2，3...；1伓等于2，3...

习题：定义加法, 然后证明2+2=3+1。

跟到，用自然数，同到等价类嗰概念，可定义整数； 用整数，同到等价类嗰概念，可定义有理数； 用有理数，同埋到极限嗰概念，可定义实数； 用实数，同到域延拓嗰概念，可定义复数。