Topsy-turvy maths: Proving axioms from theorems The starting point for reverse maths is a base theory that is strong enough to state the theorems of interest, but not strong enough to prove them ...