Gödel's incompleteness theorems
1931年，库尔特·哥德尔證明了第一個ZFC獨立結果，其為「ZFC本身之相容性，乃獨立於ZFC」（哥德尔不完备定理）。