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