User:Karoshbn/Books/LOGIC IV - Set Theory 1

Set Theory 1

 * Set theory


 * Axioms
 * Axiom of choice
 * Axiom of countable choice
 * Axiom of dependent choice
 * Axiom of extensionality
 * Axiom of infinity
 * Axiom of pairing
 * Axiom of power set
 * Axiom of regularity
 * Axiom of union
 * Martin's axiom
 * Axiom schema
 * Axiom schema of replacement
 * Axiom schema of specification


 * Operations
 * Set (mathematics)
 * Cartesian product
 * Complement (set theory)
 * De Morgan's laws
 * Disjoint union
 * Intersection (set theory)
 * Power set
 * Symmetric difference
 * Union (set theory)


 * Concepts - Methods
 * Cardinality
 * Cardinal number
 * Large cardinal
 * Class (set theory)
 * Cantor's diagonal argument
 * Constructible universe
 * Continuum hypothesis
 * Element (mathematics)
 * Ordered pair
 * Family of sets
 * Forcing (mathematics)
 * Bijection
 * Ordinal number
 * Transfinite induction
 * Venn diagram


 * Set Types
 * Countable set
 * Empty set
 * Finite set
 * Hereditarily finite set
 * Fuzzy set
 * Infinite set
 * Recursive set
 * Subset
 * Transitive set
 * Uncountable set
 * Universal set


 * Theories
 * Alternative set theory
 * Naive set theory
 * Cantor's theorem
 * Zermelo set theory
 * General set theory
 * Principia Mathematica
 * New Foundations
 * Zermelo–Fraenkel set theory
 * Von Neumann–Bernays–Gödel set theory
 * Morse–Kelley set theory
 * Kripke–Platek set theory
 * Tarski–Grothendieck set theory


 * Paradoxes - Problems
 * Paradoxes of set theory
 * Russell's paradox
 * Suslin's problem