ZFC

Much, but not not all, of mathematics can be founded on the system known as ZFC. It includes Zermelo–Fraenkel Set Theory and the Axiom Of Choice.