这是一个深入学习集合论的项目，专注于ZFC公理系统的理解和应用。项目包含了多个权威集合论教材的学习笔记 ...

A foundation for mathematics, set theory asserts everything may be encoded using sets (like how on computers everything is encoded using bits). Although mathematicians believe they use sets as their ...

for all infinite sets X X and Y Y. Proving this required most of the concepts and results from the second half of the course: well ordered sets, the Cantor–Bernstein theorem, the Hartogs theorem, Zorn ...

I’m teaching Edinburgh’s undergraduate Axiomatic Set Theory course, and the axioms we’re using are Lawvere’s Elementary Theory of the Category of Sets — with the twist that everything’s going to be ...

Two young mathematicians have astonished their colleagues with a full proof of the Kahn-Kalai conjecture — a sweeping statement about how structure emerges in random sets and graphs. The Quanta ...