Axiomatic development, ordinal and cardinal numbers, recursion theorems, axiom of choice, continuum hypothesis, consistency and independence results.