Proof has been, and remains, one of the concepts which characterizes mathematics. Covering basic propositional and predicate logic as well as discussing axiom systems and formal …