In Chapter 1, we have identified the axiomatic method as the foundation of modern mathematical reasoning and showed how it has changed the face of mathematics over time. In its modern sense, conducting a proof is conceived as deriving propositions from a set of assumptions, the so-called axioms, by applying well-defined inference rules. It was only through the precise deductive nature of this approach that mathematics could develop into the exact science that we know today.