Informal axiomatic set theory, cardinal and ordinal arithmetic, transfinite induction and issues in the philosophy of mathematics.