🗄️
math-debrief
CtrlK
  • Math Debrief
  • Math: TIMELINE
  • 100-fundamentals
  • 200 Set and Set theory
    • Sets: Hierarchy
    • set.TERMS
    • SETS › TOPICS
    • 201 Set concepts
    • Set cardinality
    • Set operations
    • Set properties
    • Set relations
    • Summary
    • Set theories
    • Axioms of set theory
      • axiom-of-choice
      • The Axiom of Extensionality
      • Axiom of infinity
      • axiom-of-pairing
      • Axiom of powerset
      • Axiom of Regularity
      • Axiom of replacement
      • Axiom of union
      • Axiom of well-ordering
      • axiom-schema-of-comprehension
      • Axiom Schema of Specification
      • Axioms of set theories
      • List of axioms in set theory
      • ZFC Axioms
    • Sets: Terms
  • Relations
  • Order theory
  • Function Theory
  • debrief-name: math section-code: 280 section-name: domain-theory section-desc:
  • Logic
  • 510 Lambda Calculi
  • Type theory
  • Abstract Algebra
  • Category Theory
  • Number Theory
  • Theory of computation
  • debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,
  • debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathemat
Powered by GitBook
On this page

Was this helpful?

  1. 200 Set and Set theory

Axioms of set theory

axiom-of-choiceThe Axiom of ExtensionalityAxiom of infinityaxiom-of-pairingAxiom of powersetAxiom of RegularityAxiom of replacementAxiom of unionAxiom of well-orderingaxiom-schema-of-comprehensionAxiom Schema of SpecificationAxioms of set theoriesList of axioms in set theoryZFC Axioms
PreviousZermelo-Fraenkel set theoryNextaxiom-of-choice

Last updated 3 years ago

Was this helpful?