About this episode

The episode discusses how mathematicians addressed Russell's paradox and the development of ZFC and constructive set theory.

Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory How did mathematicians fix Russell’s paradox and save set theory? In this aboutlogic: premises episode, Deniz and Thorsten explore the solutions that reshaped the foundations of mathematics. From Zermelo-Fraenkel (ZFC) axioms to constructive set theories (IZF, CZF). Discover how large cardinals, the continuum hypothesis, and the iterative conception of sets became central to modern set theory and why some mathematicians still prefer type theory for its structural and computational advantages. Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic Or become a channel member here on Youtube. We’d love to have your support! https://www.youtube.com/@aboutlogic Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.

People in this episode

Hosts: Deniz Sarikaya, Thorsten Altenkirch

Topics covered

• Russell's Paradox
• set theory
• Zermelo-Fraenkel axioms
• constructive set theories
• large cardinals
• continuum hypothesis
• type theory

Keywords

• Russell's Paradox
• ZFC
• constructive set theory
• set theory
• large cardinals
• continuum hypothesis
• type theory

Mentioned in this episode

Organizations: Youtube

Books & works: Russell’s Paradox, Zermelo-Fraenkel (ZFC), constructive set theories (IZF, CZF), continuum hypothesis, iterative conception of sets

More episodes of aboutlogic

• aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic) · September 9, 2026 · 41 min
• aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman · August 26, 2026 · 1h 1m
• aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory · August 19, 2026 · 27 min
• aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays · August 13, 2026 · 1h 3m
• aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science · August 5, 2026 · 28 min
• aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics · July 29, 2026 · 1h 16m

Explore listener stats, chart rankings, contacts and more on the aboutlogic podcast page.