Mathematics Foundations/1.5 Axioms of Set Theory

1.5 Axioms of Set Theory Introduction to Axiomatic Set Theory Axiomatic set theory provides a rigorous foundation for mathematics by establishing a formal system of axioms that govern the behavior of sets. The most widely accepted axiomatic system is Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC). This section introduces the fundamental axioms that form the basis of modern set theory. Historical Context The development of axiomatic set theory was motivated by paradoxes discovered in naive set theory, such as Russell's paradox. In the early 20th century, Ernst Zermelo and Abraham Fraenkel formulated an axiomatic approach to avoid these contradictions while preserving the essential properties of sets needed for mathematics. The Zermelo-Fraenkel Axioms Axiom of Extensionality Two sets are equal if and only if they have exactly the same elements. Intuition: A set is determined solely by its elements, not by how it is described. Axiom of Empty Set There exists a set with no elements. This unique set is denoted by or { }. Axiom of Pairing For any two sets, there exists a set containing exactly these two sets as its elements. Consequence: This allows us to form the set {A, B} for any sets A and B. Axiom of Union For any set of sets, there exists a set containing precisely all elements of all those sets. Notation: The union of a family of sets A is denoted by . Axiom of Power Set For any set, there exists a set containing all its subsets. Notation: The power set of A is denoted by or . Axiom Schema of Separation (Specification) For any set and any property, there exists a set containing exactly those elements of the original set that satisfy the property. where is any formula in the language of set theory. Note: This is not a single axiom but an infinite collection (schema) of axioms, one for each possible formula . Axiom of Infinity There exists a set containing the empty set and closed under the operation of adding one element. Consequence: This axiom ensures the existence of an infinite set, which can be used to construct the set of natural numbers. Axiom Schema of Replacement If F is a function (defined by a formula in the language of set theory), then for any set A, there exists a set B that contains exactly the images of elements of A under F. where represents a functional relationship. Axiom of Foundation (Regularity) Every non-empty set contains an element that is disjoint from the set. Consequence: This axiom eliminates the possibility of a set being an element of itself and prevents infinite descending chains of set membership. The Axiom of Choice For any collection of non-empty sets, there exists a function that selects one element from each set. Alternative formulation: For any set of non-empty, pairwise disjoint sets, there exists a set containing exactly one element from each set in the collection. Equivalent statements: Every set can be well-ordered. Zorn's Lemma: If every chain in a partially ordered set has an upper bound, then the set has a maximal element. The Cartesian product of any collection of non-empty sets is non-empty. Consistency and Independence Results Gödel's Incompleteness Theorems Kurt Gödel proved that no consistent axiomatic system capable of describing basic arithmetic can prove its own consistency. Furthermore, there are statements in the language of set theory that can neither be proved nor disproved within ZFC (assuming ZFC is consistent). Independence of the Axiom of Choice Kurt Gödel showed that if ZF (Zermelo-Fraenkel without Choice) is consistent, then ZFC is also consistent. Paul Cohen later proved that the negation of the Axiom of Choice is also consistent with ZF. Independence of the Continuum Hypothesis The Continuum Hypothesis (CH) states that there is no cardinal number between and . Both CH and its negation are consistent with ZFC, making it independent of the standard axioms of set theory. Alternative Axiomatic Systems Von Neumann-Bernays-Gödel Set Theory (NBG) NBG distinguishes between sets and proper classes (collections too large to be sets). It is a conservative extension of ZFC, meaning it proves the same theorems about sets as ZFC. Morse-Kelley Set Theory (MK) MK is stronger than NBG, allowing quantification over all classes, not just sets. New Foundations (NF) Developed by Willard Van Orman Quine, NF uses a type theory approach with a "stratification" condition to avoid paradoxes. Exercises 1. Show that the Axiom of Extensionality implies that the empty set is unique. 2. Prove that if the Axiom of Choice holds, then any infinite set has a countably infinite subset. 3. Using the Axiom of Separation, construct the set difference . 4. Explain why Russell's paradox is avoided in ZFC. 5. Discuss a mathematical result that requires the Axiom of Choice for its proof.