ZFC

Zermelo Fränkel set theory plus the Axiom of Choice. A favourite axiomatisation of set theory.