ZFCから独立な命題の一覧 - Wikipedia

ボレル予想 - 任意の強零集合は可算であるという予想。 任意の -稠密な実数の部分集合が順序同型であるかどうか - 実数の部分集合 X が-稠密であるとは、任意の開区間が X の元を個以上含むことを言う[3]。 ススリン線の存在(SH) [4] - ダイヤモンド原理から従うことが知られている[5] 。逆にMA + ¬CHからはススリン木が存在しないことが従う[5] [6]。 また、CHを仮定してもススリン木の存在は証明できない[7]。 クレパ木の存在(KH) - ただし到達不能基数の存在が無矛盾であるとき[8]。 フビニの定理の拡張[9] ある種のディオファントス方程式の解の存在性（ヒルベルトの第10問題）[10] 群論におけるホワイトヘッドの問題（英語版）(シェラハ、1974年) - A を任意のアーベル群とするとき、Ext1(A, Z) = 0 ならば A は自由アーベル群か？ バナッ