Zermelo-Fraenkel set theory with the Axiom of Choice; standard foundation for modern mathematics.
Lex Fridman