Description: A study of the foundations of pure mathematics, formalising the notions of a 'mathematical proof' and 'mathematical structure' through predicate calculus and model theory. It includes a study of axiomatic set theory.