(Ver jerarquía analítica para una construcción análoga de la aritmética de segundo orden.)