Löb's theorem (English, name)
expansion: Löb's theorem
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: 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.
Forms: