'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 de matemàtiques inverses té molt a dir .'