25/10/24 11:01:59.78 emnLgN6g.net
>>719
現代数学での 悪魔の証明は
下記 無矛盾の証明でしょうか？ （＾＾
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
到達不能基数
モデルと無矛盾性
κを基数としよう。ZFCの下では、κ が強到達不能であるときフォン・ノイマン宇宙のκ階層集合Vκ がZFCのモデルになる�
25/10/24 11:01:59.78 emnLgN6g.net
>>719
現代数学での 悪魔の証明は
下記 無矛盾の証明でしょうか？ （＾＾
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
到達不能基数
モデルと無矛盾性
κを基数としよう。ZFCの下では、κ が強到達不能であるときフォン・ノイマン宇宙のκ階層集合Vκ がZFCのモデルになる�