Diagonalization lemma
From Biocrawler, the free encyclopedia.
In mathematical logic, the diagonalization lemma states that for any well formed formula φ(x)
with a free variable x, there is a sentence ψ such that
![P \vdash \psi\leftrightarrow\phi([\psi])](/w/images/math/27300b42a2188aa488ae6d8d3c9bcab4.png)
where [ψ] is the Gödel number for ψ.
Gödel's first incompleteness theorem can be proved via the diagonalization lemma.
It takes its name from Cantor's diagonal argument to prove that the real numbers are uncountable.
