Study axiomatic set theory, cardinal and ordinal numbers, computability, incompleteness, independence, and the limits of formal mathematical systems.
