reverse mathematics
Short definition from Wiktionary
Noun
- A program in mathematical logic that seeks to determine which axioms are required to prove theorems.
We haven’t written up reverse mathematics yet: Simple and Standard meanings, examples and a quiz.