ZFCから独立な命題の一覧
一般的に、巨大基数と呼ばれる基数の存在はZFCでは決定することができない。
到達不能基数の存在
マーロ基数の存在
可測基数の存在
超コンパクト基数の存在