Cada símbolo en negritas representa la clase correspondiente de fórmulas en el lenguaje extendido con un parámetro para cada real; ver jerarquía proyectiva para más detalles.