Löb's theorem
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]Named after Martin Löb, who formulated it in 1955.
Proper noun
[edit]- (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.