etc-tera — 公理集合論1︰Z for Zermelo

集合論入門（Part3）：淺說ZFC 公理化系統. 1,396 views1.3K views. • Sep 2, 2015.

年策梅羅執教於格丁根大學,講授集合論課程,並深入地研究了. G. 康托爾(Cantor) ... 公理相對其它公理是協調的也是獨立的,也就是說,在ZFC 的公. 理中除去則公理所 ...

在數學中，公理化集合论是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。 目录. 1 嚴謹集合論的源起; 2 集合論...

觉得有必要在第一章补充聊一下集合论的公理， ZFC公理体系。ZF是Zermelo–Fraenkel的简写，他们分别指数学家Ernst Zermelo 和Abraham Fraenkel；C指选择...

策梅洛-弗兰克尔集合论（Zermelo-Fraenkel Set Theory），含选择公理时常简写为ZFC，是在数学基础中最常用形式的公理化集合论。不含选择公理的则简写为ZF ...