Formal & Physical Sciences MathematicsENInfinity (ℵ₀+ℵ₀=ℵ₀)Robin WilsonJune 10, 2026 17 min★ ★ ★ ★ ★ 5/5InfinitySet TheoryCardinality
Formal & Physical Sciences MathematicsENJoseph Helfer --- Set-theoretic universes and paradoxes in elementary 2-topoi.Joseph HelferJune 3, 2026 91 min★ ★ ★ ★ ☆ 4/5Category Theory2-TopoiFoundations of Mathematics
Formal & Physical Sciences MathematicsENThe Man Who Discovered the Laws of InfinityPhysics ExplainedSeptember 27, 2025 40 min★ ★ ★ ★ ★ 5/5Georg CantorInfinitySet Theory
Formal & Physical Sciences MathematicsENLecture 11 OFCM2025MTTS ProgrammeSeptember 5, 2025 76 min★ ★ ★ ★ ☆ 4/5Set TheoryFunctionsRange
Formal & Physical Sciences MathematicsENOn set theoretic reflection principlesProf. Leon HorstenMarch 18, 2025 93 min★ ★ ★ ★ ☆ 4/5Set TheoryReflection PrinciplesLarge Cardinals
Formal & Physical Sciences MathematicsENF. Astronomie Fleurance 2024 : Combien y a-t-il d’infinis ?- par André DELEDICQAndré DeledicqMarch 15, 2025 42 min★ ★ ★ ★ ☆ 4/5InfinityCantorSet Theory
Formal & Physical Sciences MathematicsENZermelo Fraenkel ChoiceRichard E BorcherdsDecember 4, 2021 20 min★ ★ ★ ★ ★ 5/5Axiom of ChoiceSet TheoryZermelo-Fraenkel
Formal & Physical Sciences MathematicsENZermelo Fraenkel Separation and replacementRichard E BorcherdsDecember 2, 2021 17 min★ ★ ★ ★ ★ 5/5Set TheoryZermelo-FraenkelAxioms
Formal & Physical Sciences MathematicsENZermelo Fraenkel PowersetRichard E BorcherdsNovember 30, 2021 17 min★ ★ ★ ★ ★ 5/5Set TheoryPowerset AxiomZermelo-Fraenkel
Formal & Physical Sciences MathematicsENZermelo Fraenkel InfinityRichard E BorcherdsNovember 28, 2021 17 min★ ★ ★ ★ ★ 5/5Set TheoryAxiom of InfinityZermelo-Fraenkel
Formal & Physical Sciences MathematicsENZermelo Fraenkel Pairing and unionRichard E BorcherdsNovember 26, 2021 12 min★ ★ ★ ★ ★ 5/5Set TheoryZFCAxioms
Formal & Physical Sciences MathematicsENZermelo Fraenkel FoundationRichard E BorcherdsNovember 24, 2021 23 min★ ★ ★ ★ ★ 5/5Set TheoryAxiom of FoundationWell-Foundedness
Formal & Physical Sciences MathematicsENZermelo Fraenkel ExtensionalityRichard E BorcherdsNovember 22, 2021 15 min★ ★ ★ ★ ★ 5/5Set TheoryAxiom of ExtensionalityZermelo-Fraenkel
Formal & Physical Sciences MathematicsENZermelo Fraenkel IntroductionRichard E BorcherdsNovember 20, 2021 21 min★ ★ ★ ★ ★ 5/5Set TheoryZermelo-FraenkelAxioms
Formal & Physical Sciences MathematicsENRalf Schindler: How many real numbers are there?Ralf SchindlerAugust 23, 2021 83 min★ ★ ★ ★ ★ 5/5Set TheoryContinuum HypothesisCardinality
Formal & Physical Sciences MathematicsENFedor Pakhomov: Kripke-Platek set theoryFedor PakhomovAugust 23, 2021 102 min★ ★ ★ ★ ☆ 4/5Set TheoryKripke-PlatekComputability
Formal & Physical Sciences MathematicsENGödel and the Scope Problem: From Incompleteness to Extended ConstructibilityJuliette C. KennedyAugust 22, 2021 49 min★ ★ ★ ★ ☆ 4/5GödelSet TheoryConstructibility
Formal & Physical Sciences MathematicsENEmil Jerábek: Hereditarily bounded setsEmil JerábekAugust 22, 2021 56 min★ ★ ★ ★ ☆ 4/5Set TheoryDecidabilityModel Theory