公理化集合论- 维基百科，自由的百科全书
文章推薦指數： 80 %
公理化集合論
維基百科，自由的百科全書
跳至導覽
跳至搜尋
在數學中，公理化集合論是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。
集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。
目錄
1嚴謹集合論的源起
2集合論的公理
3命題在ZFC中的獨立性
4引用
5參見
6外部連結
嚴謹集合論的源起[編輯]
此章節尚無任何內容。
(2017年11月)
集合論的公理[編輯]
集合論中其中一套由Skolem最後整理的公理系統，稱為Z
延伸文章資訊
- 11.3 集合论的公理- 知乎
觉得有必要在第一章补充聊一下集合论的公理， ZFC公理体系。ZF是Zermelo–Fraenkel的简写，他们分别指数学家Ernst Zermelo 和Abraham Fraenkel；C指选择...
- 2無限期支持策梅洛-弗蘭克爾集合論（含選擇公理） - Posts ...
無限期支持策梅洛-弗蘭克爾集合論（含選擇公理）. 83 likes. Welcome to ZFC club, please feel free to have fun here! 請大家一起支...
- 3etc-tera — 公理集合論1︰Z for Zermelo
史上第一套公理集合論由數學家Ernst Zermelo 在1908 年提出，乃現今數學界主流的ZFC 集合論之始祖，”ZFC” 當中的“Z” 就是指Zermelo。
- 4策梅洛-弗兰克尔集合论_百度百科
策梅洛-弗兰克尔集合论（Zermelo-Fraenkel Set Theory），含选择公理时常简写为ZFC，是在数学基础中最常用形式的公理化集合论。不含选择公理的则简写为ZF ...
- 5公理化集合論（簡體書） - 三民網路書店 - 三民書局
書名：公理化集合論（簡體書），ISBN：9787310059492，出版社：南開大學出版社，作者：李娜， ... ZFC公理化集合論是整個20世紀集合論工作的主流。
