Lema Diagonal
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Lema sintáctico en aritmética formal que garantiza que para cualquier fórmula φ(x) existe una oración ψ tal que la teoría prueba ψ ↔ φ(⌜ψ⌝), es decir, una oración que afirma una propiedad sobre su propio número de Gödel.