ZFC

Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #488

Lex Fridman

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