自然數

自然數係自自然然數得出嗰數。頭先係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。

跟到，用自然數，同到等價類嗰概念，可定義整數； 用整數，同到等價類嗰概念，可定義有理數； 用有理數，同埋到極限嗰概念，可定義實數； 用實數，同到域延拓嗰概念，可定義複數。