The axioms of set theory and cumulative hierarchy, natural numbers, cardinal numbers, ordinal numbers, transfinite recursion.