reverse mathematics noun1 •A program in mathematical logic that seeks to determine which axioms are required to prove theorems.
