Como cada fórmula tiene una forma normal prenexa, cada fórmula en el lenguaje de la aritmética de segundo orden es formula_10 o formula_11 para algún formula_12.