自然數

出自維基百科
轉去: 導航

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

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