25/10/24 11:43:00.04 t0upBxk/.net
>>720
＞現代数学での 悪魔の証明は無矛盾の証明でしょうか？
🐎🦌
「任意の自然数について、●●が成り立つ」という命題を証明するとする
カラスはどうせ自然数を０から一つずつ確かめて終わらないから悪魔の証明とかいうんだろう（笑）
もちろん、人間はそんな馬鹿なことはしない
数学的帰納法を公理として設定するから
まあ、自然数論から矛盾が導かれないことは、自然数論では証明できないがね
順序数ε０の超限帰納法を公理として前提すれば証明できる
公理が絶対的に正しいかどうか？そんなこと数学の問題ではない
数学の問題ではないことにこだわるのは、素人カラスくらいだろう
カァ～