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