自然數的集合論定義- 維基百科，自由的百科全書 - Wikipedia
文章推薦指數： 80 %
自然數的集合論定義
維基百科，自由的百科全書
跳至導覽
跳至搜尋
已經提出了多種使用集合論定義自然數的方式。
目錄
1當代標準
2最老的定義
3參見
4引用
5外部連結
當代標準[編輯]
在ZFC和有關理論中，自然數的集合論定義是約翰·馮·諾伊曼的序數定義:
定義空集為零。
定義n的後繼為n∪{n}
無窮公理接著確保所有自然數的集合N存在。
容易證明上述定義滿足皮亞諾算術公理。
它也有一個特別的性質（在其他定義中不一定如此），就是每個自
延伸文章資訊
- 1集合論(一)
集合論的悖論例子：. 設C是由所有集合所組成的總體。 定義一個(集合)A={ x為C中的元素| x x ...
- 2集合論
這些問題正是康特所要追尋的，由此導致集合論(set theory) 的誕生。微積分與 ... 康特不但接受伽利略的「詭論」，而且還拿它當作「無窮集」的定義：. 一個集合若 ...
- 3集合論- 維基百科，自由嘅百科全書
用集合論定義自然數字
- 4第一章基礎概念§1−1 集合的基本概念
A 與B 沒有共同的元素，此時為了集合理論的完整，我們引入了空集合。 空集合：我們稱不含任何元素的集合為空集合。記為φ或{ }。 空集合是任何 ...
- 5集合论_百度百科
集合论或集论是研究集合（由一堆抽象物件构成的整体）的数学理论，包含了集合、 ... 集合论和逻辑与一阶逻辑共同构成了数学的公理化基础，以未定义的“集合”与“ ...
