ZFCから独立な命題の一覧

本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は（ZFCが無矛盾であれば）ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。
公理的集合論の命題.
巨大基数公理.
一般的に、巨大基数と呼ばれる基数の存在はZFCでは決定することができない。