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