Mathématiques Inverses

Un programme de recherche et une relation qui classent les théorèmes mathématiques en identifiant les plus faibles sous-systèmes de l'arithmétique du second ordre qui sont équivalents à ces théorèmes sur une théorie de base faible ; il étudie quels axiomes sont nécessaires et suffisants pour démontrer des résultats particuliers.