基於序數理論[編輯] · 0是自然數; · 每一個確定的自然數a,都有一個確定的後繼數a' ,a' 也是自然數; · 對於每個自然數b、c,b=c若且唯若b的後繼數=c的後繼數; · 0不是任何 ...
確定! 回上一頁