Reverse mathematics does this by undertaking mathematics in reverse: rather than merely proving the theorem from the axioms, in reverse mathematics, we seek to prove the axioms from the theorem as well, thereby finding the axiomatic system to which the theorem is equivalent over a very weak base theory. This theory is optimal, in that it is the weakest extension of the base theory capable of proving the theorem in question.
