(cache)佐久間ちゃん on X: "リゼロの最強キャラとしてラインハルトがいますが、巨大基数公理の世界にも「ラインハルト基数」という強すぎるキャラがいます。あまりにも強すぎてZF上で存在が選択公理と矛盾するチートキャラで、普通のZFC上の無矛盾性Con(ZFC+存在性)の強さの階層で測ると文字通り「最強」(最大)です。 https://t.co/2ekLlDDMoD" / X

リゼロの最強キャラとしてラインハルトがいますが、巨大基数公理の世界にも「ラインハルト基数」という強すぎるキャラがいます。あまりにも強すぎてZF上で存在が選択公理と矛盾するチートキャラで、普通のZFC上の無矛盾性Con(ZFC+存在性)の強さの階層で測ると文字通り「最強」(最大)です。