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