{\displaystyle \aleph _{1}} -dense sets are order-isomorphic is independent of ZFC. 蘇斯林問題(Suslin's problem)提出一個指定的特性列表能否刻画一個實數R的有序集合。這是在ZFC中未決的。 一条 Suslin line
principle solves the Whitehead problem by implying that every Whitehead group is free. 哥德爾定理 哥德爾完備性定理 ZFC公理體系(英语:Zermelo-Fraenkel Set Theory) ZFC系統無法確定的命題列表 Akemann