Der
Satz von Löb ist ein Ergebnis der
mathematischen Logik, das von
Martin Löb 1955 bewiesen wurde. Er besagt, dass in einer Theorie
T, die bestimmte einfache Eigenschaften erfüllt und die Beweisbarkeit in
T repräsentieren kann, für jede Formel
P die Aussage „wenn
P beweisbar ist, dann
P“ nur dann beweisbar ist, wenn
P beweisbar ist. Formal:
- wenn , dann