Segundo Teorema de Incompletitud de Gödel

El teorema que afirma que ninguna teoría formal consistente y efectivamente axiomática capaz de representar suficiente aritmética puede demostrar su propia consistencia cuando la consistencia se formaliza dentro de la propia teoría; en términos simples, un sistema no puede certificar con sus propios recursos que está libre de contradicción.