⚛️Igor Kan
Search
Search
Dark mode
Light mode
Explorer
Tag: set-theory
37 items with this tag.
Apr 16, 2026
Separation Axiom
set-theory
axiom
Apr 16, 2026
Transitive Set
set-theory
transitivity
Apr 16, 2026
Union Axiom
set-theory
axiom
Apr 16, 2026
von Neumann Universe (Cumulative Hierarchy)
set-theory
universe
hierarchy
Apr 16, 2026
Well-Ordering Theorem
set-theory
choice
Apr 16, 2026
Zorn''s Lemma
set-theory
choice
Apr 16, 2026
Elementary Theory of the Category of Sets (ETCS)
set-theory
categorical
Apr 16, 2026
Morse�Kelley Set Theory (MK)
set-theory
class-theory
Apr 16, 2026
Von Neumann�Bernays�G�del Set Theory (NBG)
set-theory
class-theory
Apr 16, 2026
New Foundations with Urelements (NFU)
set-theory
alternative
Apr 16, 2026
Zermelo-Fraenkel with Atoms (ZFA)
set-theory
Apr 16, 2026
Zermelo–Fraenkel Set Theory with the Axiom of Choice
set-theory
Apr 16, 2026
Aleph Hierarchy
set-theory
cardinality
Apr 16, 2026
Axiom of Choice
set-theory
axiom
Apr 16, 2026
Axiom Schema
logic
set-theory
Apr 16, 2026
Beth Hierarchy
set-theory
cardinality
Apr 16, 2026
Cardinal Numbers
set-theory
cardinality
Apr 16, 2026
Comprehension Axiom (Invalid in ZFC)
set-theory
axiom
paradox
Apr 16, 2026
Axiom of Constructibility (V = L)
set-theory
axiom
constructibility
Apr 16, 2026
Cumulative Hierarchy
set-theory
universe
Apr 16, 2026
Axiom of Determinacy (AD)
set-theory
axiom
determinacy
Apr 16, 2026
Empty Set Axiom
set-theory
axiom
Apr 16, 2026
Extensionality Axiom
set-theory
axiom
Apr 16, 2026
First-Order Set Theory
set-theory
logic
Apr 16, 2026
Foundation Axiom
set-theory
axiom
Apr 16, 2026
Generalized Continuum Hypothesis (GCH)
set-theory
cardinality
Apr 16, 2026
Hereditarily Finite Sets
set-theory
finite
Apr 16, 2026
Axiom of Infinity
set-theory
axiom
Apr 16, 2026
Iterative Conception of Set
set-theory
philosophy
Apr 16, 2026
Large Cardinal Axioms
set-theory
large-cardinal
Apr 16, 2026
L�wenheim�Skolem Theorem
logic
set-theory
Apr 16, 2026
Material Set Theory
set-theory
Apr 16, 2026
Ordinal Numbers
set-theory
ordinal
Apr 16, 2026
Pairing Axiom
set-theory
axiom
Apr 16, 2026
Power Set Axiom
set-theory
axiom
Apr 16, 2026
Ordinal Rank Function
set-theory
rank
ordinal
Apr 16, 2026
Replacement Axiom
set-theory
axiom