ZFC set-theory framework
Set existence is governed by explicit axioms and schemas.
Key knowledge
ZFC combines extensionality, empty-set, pairing, union, power-set, infinity, foundation and choice axioms with separation and replacement schemas. Separation selects elements from an already given set.
Conditions and scope
- Use first-order membership language; schemas supply an instance for each permitted formula.
- This specifies a framework and does not prove its consistency or permit unrestricted comprehension.
Sources · 1
References
Sources retain their recorded scope. A source link alone does not establish verification of every statement.
Evidence and review
Axiom list; section 2 separation schema; section 9.6–9.10 finite/countably infinite convention.
2026-10-10 · Axiom-family overview and restricted separation; full derivations excluded.
Entry details
Permanent link to this entry ↗- Record identity
- math-zfc-set-axioms
- Revision
- university-reference.1
- Structured reference record
- University reference