自然演繹タイプの公理系は無矛盾であることが示されているみたいなのですが、
自己の記述は自然数論的な公理系なのでしょうか?
Permalink | 記事への反応(1) | 08:18
ツイートシェア
元の論理が雑すぎて気になった キャンパスなんていつのネタだよって感じだし ゲーデル出す必要性もないし
ゲーデルは神の証明を試みて発狂しました。その理由を説明しなさい。(配点:10点) 自分とは何か?という説明を無矛盾で説明しなさい。(配点:90点) クルト・ゲーデル - ...