Para las teorías a nivel de la aritmética de segundo orden, el programa matemático inverso tiene mucho que decir.
Para las teorías a nivel de reversión, la aritmética tiene mucho que decir con el segundo programa de matemáticas.