Los enunciados formula_34 tienen la propiedad de que en el caso de ser falsos, tal falsedad será siempre demostrable en cualquiera de los sistemas formales en uso.