Las consecuencias del primer teorema de incompletitud de Gödel suelen ser malentendidas, llegando, por ejemplo, a la conclusión errónea de que no pueden existir sistemas axiomáticos consistentes y completos.