Dieter Probst & Peter Schuster: Concepts of Proof in Mathematics, Philosophy, and Computer Science
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is …