Löb's theorem

English

Etymology

Named after Martin Löb, who formulated it in 1955.

Proper noun

Löb's theorem

  1. (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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.