Reformula l'oració següent tot preservant-ne el sentit:
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 l'aritmètica de segon ordre , el programa de matemàtiques inverses té molt a dir .