indica la clase de fórmulas en el lenguaje de aritmética de segundo orden sin conjunto de cuantificadores.