>>347
つづき

(参考)
https://ja.wikipedia.org/wiki/ZFC%E3%81%8B%E3%82%89%E7%8B%AC%E7%AB%8B%E3%81%AA%E5%91%BD%E9%A1%8C%E3%81%AE%E4%B8%80%E8%A6%A7
ZFCから独立な命題の一覧
本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は（ZFCが無矛盾であれば）ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。

目次
1 公理的集合論の命題
1.1 一般の例
1.2 巨大基数公理
2 その他の分野の命題

https://en.wikipedia.org/wiki/List_of_statements_independent_of_ZFC
List of statements independent of ZFC
(引用終り)
以上