Before proving any result it is important to understand what we are doing when we prove. This section introduces the basic vocabulary of mathematical reasoning: what a theorem is, what the logical steps of a proof are, how the syllogism works (also in the “by contradiction” form), and how theorems are organised into a theory starting from the postulates. It closes with the subtle but crucial distinction between definition and property.