Não existe procedimento construtivo que prove ser consistente a teoria axiomática.