sentence1: Pour les théories au niveau de l'arithmétique de second ordre, le programme mathématique inverse a beaucoup à dire.
sentence2: Pour les théories au niveau de l'inversion - l'arithmétique a beaucoup à dire du deuxième programme de mathématiques.