Per a les teories a nivell de l'aritmètica de segon ordre , el programa de matemàtiques inverses té molt a dir .
Per a les teories a nivell de reversió - aritmètica té molt a dir el segon programa de matemàtiques .