Reverse mathematics is a framework for analysing the minimal axioms required to prove mathematical theorems by working within subsystems of second-order arithmetic. Its central concern is to establish ...

Set theory provides the fundamental language and axiomatic basis for virtually all modern mathematics. At its core lies the Zermelo–Fraenkel system (ZF), often augmented by the Axiom of Choice (AC) to ...