最終更新日：2024/08/04
(logic) A theorem stating that, in any formal system F with Peano arithmetic, for any formula P, if it is provable in F that if P is provable in F then P is true
, then P is provable in F.
正解を見る
Löb's theorem
編集履歴（0）
元となった辞書の項目
Löb's theorem
name
