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