Además, la afirmación de que algunos sistemas formales, tales como la aritmética de Peano o el sistema ZFC son consistentes puede expresarse como sentencias formula_34.