最終更新日：2025/12/01
In his refinement of Gödel's argument, Rosser's trick constructs a sentence asserting that if it were provable then there would be a shorter proof of its negation, avoiding the need for ω-consistency.
正解を見る
In his refinement of Gödel's argument, Rosser's trick constructs a sentence asserting that if it were provable then there would be a shorter proof of its negation, avoiding the need for ω-consistency.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
