Search
❯
Dec 29, 20251 min read
Standard axiomatic system for set theory, often supplemented with the Axiom of Choice.