The Zermelo-Frankl axioms are the standard formalization of set theory in mathematics. They include the Axiom of Extensionality (two sets are equal if they have the same elements), various comprehension axioms (which enable one to construct sets), and the Axiom of Regularity (which rules out certain pathological sets). Most of mathematics can be derived from these axioms.
This concept has the prerequisites:
- Know the Axiom of Extensionality
- Know the various comprehension axioms (e.g. pairing, union, power set, subset, replacement, infinity; specific presentations will differ)
- Know the Axiom of Foundation (or Axiom of Regularity) and what pathological sets it is meant to rule out
- Be able to derive simple consequences of the axioms
- What is the difference between a set and a class?
Core resources (read/watch one of the following)
→ Notes on Set Theory (2013)
Lecture notes for a course on axiomatic set theory.
Location: Section 1, "First axioms of set theory," pages 1-7
- Skim Section 4, "Ordinals and their basic properties," for the Axiom of Foundation.
→ A Course in Mathematical Logic
A graduate textbook in mathematical logic.
Location: Section 10.1, "Basic developments," pages 459-468
- Skim Section 10.3 for the Axiom of Regularity.
→ Elements of Set Theory
An introductory textbook on axiomatic set theory.
- Chapter 2, "Axioms and operations," pages 17-33
- Chapter 4, "Natural numbers," subsection "Inductive sets," pages 67-70
- These sections don't cover the Axioms of Replacement and Regularity; you need to look those up in the index.
-No Additional Notes-
- create concept: shift + click on graph
- change concept title: shift + click on existing concept
- link together concepts: shift + click drag from one concept to another
- remove concept from graph: click on concept then press delete/backspace
- add associated content to concept: click the small circle that appears on the node when hovering over it
- other actions: use the icons in the upper right corner to optimize the graph placement, preview the graph, or download a json representation