Axiomatic set theory as a foundation for, and field of, mathematics through to the consistency results.