411 REFERENCE · Wiktionary
Löb's theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after Martin Löb, who formulated it in 1955.
Proper noun
en 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.
en eponyms