對於集合論悖論的不同解決方案〈第四頁〉 - 阿特拉斯
文章推薦指數： 80 %
對於集合論悖論的不同解決方案 2003,5,31 吳文成 -------------------------------------------------------------------------------- 指定段落，暫時被管理者隱藏 -------------------------------------------------------------------------------- 經過反覆地確認，包含這九條公理的集合論系統已經滿足了羅素對於悖論解決方案的第一點與第二點要求，我們一般稱這個公理系統為Ｚ
延伸文章資訊
- 11.3 集合论的公理- 知乎
觉得有必要在第一章补充聊一下集合论的公理， ZFC公理体系。ZF是Zermelo–Fraenkel的简写，他们分别指数学家Ernst Zermelo 和Abraham Fraenkel；C指选择...
- 2對於集合論悖論的不同解決方案〈第四頁〉 - 阿特拉斯
但是ZFC集合論公理系統的特設性仍然太強，一方面是由於構造ZF的過程中，為了排除有根基性悖論而刻意地添加公理；另一方面是直接宣佈某些導致悖論的集合 ...
- 3策梅洛-弗兰克尔集合论_百度百科
策梅洛-弗兰克尔集合论（Zermelo-Fraenkel Set Theory），含选择公理时常简写为ZFC，是在数学基础中最常用形式的公理化集合论。不含选择公理的则简写为ZF ...
- 4etc-tera — 公理集合論1︰Z for Zermelo
史上第一套公理集合論由數學家Ernst Zermelo 在1908 年提出，乃現今數學界主流的ZFC 集合論之始祖，”ZFC” 當中的“Z” 就是指Zermelo。
- 5公理化集合论- 维基百科，自由的百科全书
在數學中，公理化集合论是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。 目录. 1 嚴謹集合論的源起; 2 集合論...
