El teorema de incompletitud de Gödel establece que ninguna teoría consistente, con un número finito de axiomas recursivamente enumerable (en un lenguaje por lo menos tan potente como la aritmética), puede incluir todos las proposiciones verdaderas.