有咗集合之後,就可以定義自然數:首先定義0為空集,跟住定義1為「0嘅後繼」,即集合0'={0}。跟住定義2為「1嘅後繼」,即集合1'=0' '={0,1}={0,{0}}。定義3為「2嘅後繼」, ...
確定! 回上一頁