最終更新日：2025/12/02
Löb's theorem shows that if a formal system proves that 'if P is provable in the system then P is true', then the system proves P.
正解を見る
Löb's theorem shows that if a formal system proves that 'if P is provable in the system then P is true', then the system proves P.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
