Section outline
-
-- Basic Operations on Sets
-- Equinumerosity
-- Russell's Paradox, Axiomatic Foundations (ZFC)
-- Ordered Pairs, Relations, Functions
-- Natural Numbers: Existence, Uniqueness, Fundamental Properties - Induction and Recursion
-- Partially Ordered Sets - Fixed Point Theorems
-- Well-Ordered Sets: Fundamental Properties - Transfinite Induction and Recursion
-- Axiom of Choice and Equivalent Statements
-- Basic Cardinal Arithmetic
-- Axiom of Replacement, Ordinal Numbers: Basic Properties