策梅洛-弗蘭克爾集合論- 維基百科，自由的百科全書 - Wikipedia
文章推薦指數： 80 %
策梅洛-弗蘭克爾集合論
維基百科，自由的百科全書
跳至導覽
跳至搜尋
此條目翻譯品質不佳。
(2020年10月3日)翻譯者可能不熟悉中文或原文語言，也可能使用了機器翻譯，請協助翻譯本條目或重新編寫，並注意避免翻譯腔的問題。
明顯拙劣的機器翻譯請改掛{{d|G13}}提交刪除。
策梅洛-弗蘭克爾集合論（英語：Zermelo-FraenkelSetTheory），含選擇公理時常簡寫為ZFC，是在數學基礎中最常用形式的公理化集合論，不含選擇公理的則簡寫為ZF。
<
延伸文章資訊
- 11.3 集合论的公理- 知乎
觉得有必要在第一章补充聊一下集合论的公理， ZFC公理体系。ZF是Zermelo–Fraenkel的简写，他们分别指数学家Ernst Zermelo 和Abraham Fraenkel；C指选择...
- 2策梅羅 - 九章數學
年策梅羅執教於格丁根大學,講授集合論課程,並深入地研究了. G. 康托爾(Cantor) ... 公理相對其它公理是協調的也是獨立的,也就是說,在ZFC 的公. 理中除去則公理所 ...
- 3公理化集合論（簡體書） - 三民網路書店 - 三民書局
書名：公理化集合論（簡體書），ISBN：9787310059492，出版社：南開大學出版社，作者：李娜， ... ZFC公理化集合論是整個20世紀集合論工作的主流。
- 4集合論入門（Part3）：淺說ZFC 公理化系統- YouTube
集合論入門（Part3）：淺說ZFC 公理化系統. 1,396 views1.3K views. • Sep 2, 2015.
- 5公理化集合论- 维基百科，自由的百科全书
在數學中，公理化集合论是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。 目录. 1 嚴謹集合論的源起; 2 集合論...
