Reverse Mathematics

A research program and relation that classifies mathematical theorems by identifying the weakest subsystems of second-order arithmetic that are equivalent to those theorems over a weak base theory; it studies which axioms are necessary and sufficient to prove particular results.