En la actualidad, se han construido un cierto número de lenguajes de segundo orden para la aritmética, y el estudio de los mismos es importante en la llamada matemática inversa que busca averiguar cuál es el sistema lógicamente más restrictivo que permite formalizar ciertas áreas de la matemática.