'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 matemàtic invers té molt a dir .'