(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.
if P is provable in F then P is true
Löb's theorem
任意の形式体系（ペアノ算術を含む）において、任意の式Pについて、その体系が「もしPがその体系で証明可能ならばPは真である」と証明できるならば、その体系はPを証明する、という定理は、そのような驚くべき証明可能性の性質を示している。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
