Diagonallemma

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein syntaktisches Lemma in der formalen Arithmetik, das garantiert, dass zu jeder Formel φ(x) eine Aussage ψ existiert, sodass das System ψ ↔ φ(⌜ψ⌝) beweist, also eine Aussage, die eine Eigenschaft über ihre eigene Gödelnummer aussagt.