Overview
Description
Formalism, inference, axiomatic set theory, unicity, pairs, relations, functions ordinals, recursive definition, maximality, well ordering, choice, regularity, equinumerosity, cardinal arithmetic.
Units
Lecture3
Learning Outcomes
- discuss ZF and ZFC.
- demonstrate understanding of the terminology of set theory.
- explain concepts and prove facts about ordinals and cardinals.