Understanding the process of creating formal proofs of statements and the use of axioms and inference rules.