Zermelo–Fraenkel set theory
WikiAudio • 885 views
Math topics:
Set theoryUnion (set theory)Empty setSubsetPower setElement (mathematics)Axioms of set theoryAxiom of choiceAxiom of infinityAxiom schema of specificationAxiom of extensionalityMartin's axiomAxiom schema of replacementCumulative hierarchyClass (set theory)Set (mathematics)Forcing (mathematics)Model theoryFirst-order logicConstructible universeSatisfiabilityAxiom of constructibilityModel theoryCardinal numbersContinuum hypothesisCardinal numberLarge cardinalInaccessible cardinalProof theoryIndependence (mathematical logic)Ordinal numberConsistencyAxiom of regularity