The Mathematical Proof

In mathematics, a proof is a deductive argument for a mathematical statement. In the argument, other previously established statements, such as theorems, can be used. In principle, a proof can be traced back to self-evident or assumed statements, known as axioms. Proofs are examples of deductive reasoning and are distinguished from inductive or empirical arguments. A proof must demonstrate that a statement is always true rather than enumerate many confirmatory cases. An unproved proposition that is believed true is known as a conjecture. Proofs employ logic but usually include some amount of natural language which usually admits some ambiguity. In fact, the vast majority of proofs in written mathematics can be considered as applications of rigorous informal logic. Purely formal proofs, written in symbolic language instead of natural language, are considered in proof theory. This book is designed to be a general overview of the topic and provide you with the structured knowledge to familiarize yourself with the topic at the most affordable price possible. The level of discussion is that of Wikipedia. The accuracy and knowledge is of an international viewpoint as the edited articles represent the inputs of many knowledgeable individuals and some of the most currently available general knowledge on the topic, based on the date of publication.