Primer Teorema de Incompletitud de Gödel

El teorema que afirma que toda teoría formal consistente, efectivamente axiomática y capaz de representar un fragmento suficiente de la aritmética contiene oraciones verdaderas que no son demostrables dentro de esa teoría; establece una brecha necesaria entre verdad semántica y demostrabilidad para tales sistemas.