Enunciado de Gödel

Una oración autorreferencial G construida (mediante el lema del punto fijo) para una teoría formal dada T que afirma efectivamente 'G no es demostrable en T'; su existencia es central en las pruebas de incompletitud porque, bajo hipótesis naturales, ni G ni su negación son demostrables en T.