Lectures on the Philosophy of Mathematics

by Joel David Hamkins

Formal proof is exacting and precise, written in a formal language and according to rigid rules concerning the allowed axioms and rules of inference.