Pour les théories au niveau de l'arithmétique inverse, le deuxième programme de mathématiques a beaucoup à dire.
Pour les théories au niveau de l'arithmétique de second ordre, le programme de mathématiques inversées a beaucoup à dire.