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

無限期支持策梅洛-弗蘭克爾集合論（含選擇公理）. 83 likes. Welcome to ZFC club, please feel free to have fun here! 請大家一起支...

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

但是ZFC集合論公理系統的特設性仍然太強，一方面是由於構造ZF的過程中，為了排除有根基性悖論而刻意地添加公理；另一方面是直接宣佈某些導致悖論的集合 ...

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

史上第一套公理集合論由數學家Ernst Zermelo 在1908 年提出，乃現今數學界主流的ZFC 集合論之始祖，”ZFC” 當中的“Z” 就是指Zermelo。