Finalmente el teorema de Gödel pone de manifiesto que un sistema formalmente perfecto, esto es, consistente, decidible y completo, no es posible; si es completo no es decidible y si es decidible no es completo.