The axiomatic method

This covers the use of axioms to define mathematical systems and the role of proof in mathematics.