Over a very weak base theory, it turns out that most well known theorems are equivalent to one of exactly five natural set-existence theories. Within each class, therefore, the theorems are not only equivalent to the axioms, but also to each other. To put it in slogan form, there are essentially only five core mathematical theorems up to provable equivalence over a weak base theory:
