Axiomatic set theory

Material set theory

A material set theory is a set theory based on a global membership relation where sets are characterized by and propositional equality. These theories introduce a Cumulative hierarchy. F. William Lawvere describes such set theories as prioritizing Substance over Form.

Setup

Unless otherwise specified, we deploy st-order logic on a universe of objects with the primitive notions¹

• iff is the same object as ;
• iff is a set;
• iff and is a member of ;

where if there exists an object in that is not a set it is called an Urelement. While most treatments do without urelements by considering only pure sets, these notes allow for their existence unless otherwise stated, which occasionally complicates the statements of axioms somewhat.

Possible systems

• Sets alone
  • NFU
• Sets and classes
  • ML (set theory)
• Small and large sets

Possible axioms and axiom schemata

• Axiom of Extensionality
• Axiom of Purity
• Emptyset Axiom
• Axiom of Pairing
• Axiom of Union
• Specification Axiom Schema
• Powerset Axiom
• Axiom Schema of Replacement

Infinity and large cardinals

• Axiom of Infinity

Foundation

• Axiom of Foundation
• Aczel's Antifoundation Axiom

Choices

• Axiom of Choice
• Axiom of Dependent Choice
• Countable Axiom of Choice

Classes

• Elementhood Relation Class Axiom
• Axiom of Intersection for Classes
• Complement Axiom for classes
• Universal Relation Axiom
• Axioms of Permutation for classes
• Axiom of Subsets
• Axiom of Replacement for classes

#state/tidy | #lang/en | #SemBr