Por los teoremas de la incompletitud de Gödel sabemos que ningún sistema formal que tenga un mínimo de poder expresivo puede ser a la vez consistente y completo.