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