Según el teorema de Gödel, no existe un sistema aritmético recursivo perfecto, que sea al mismo tiempo consistente, decidible y completo.