Language and axioms of set theory. Ordered pairs, relations and functions. Order relation and well ordered sets. Ordinal numbers, transfinite induction, arithmetic of ordinal numbers. Cardinality and arithmetic of cardinal numbers. Axiom of choice, generalized continuum hypothesis.