ZFC
concept
8 mentions
4 recordings
first heard May 2025
last heard 29 Jun
↑7 vs the 6 months before
Standard axiomatic foundation for set theory
Trend
Peak in the week of 18 May — 5 mentions across 1 series.
Moments
newest first · ▶ plays the momentCurt JaimungalTheories of Everything with Curt Jaimungal · Simon Saunders: The Unsettling Mysteries of Time · 1:32:18 · 29 Jun
…In ZFC or in ZF, sorry, the axiom of choice is equivalent to Zorn's lemma.…
Harvey FriedmanTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 1:05:44 · 18 May
…See, because if you can prove the consistency of ZFC, then you know you can't be in ZFC, because ZFC doesn't prove its own consistency.…
Harvey FriedmanTheories of Everything with Curt Jaimungal · Harvey Friedman: The Genius Who Invented Reverse Mathematics · 1:05:40 · 18 May
…Independent of ZFC.…
8 moments · sign in to read them all