到達不能基数・巨大基数研究

>>207
>ノイマン宇宙Vは あくまで 「ZFCから証明可能な集合のみを含む」と限定する
そのVはたかだか可算集合。実際、証明可能な集合はたかだか可算個。