## History and etymology

The word "proof" comes from the Latin *probare* meaning "to test". Related modern words are the English "probe", "probation", and "probability", the Spanish *probar* (to smell or taste, or (lesser use) touch or test),^{[5]} Italian *provare* (to try), and the German *probieren* (to try). The early use of "probity" was in the presentation of legal evidence. A person of authority, such as a nobleman, was said to have probity, whereby the evidence was by his relative authority, which outweighed empirical testimony.^{[6]}

Plausibility arguments using heuristic devices such as pictures and analogies preceded strict mathematical proof.^{[7]} It is likely that the idea of demonstrating a conclusion first arose in connection with geometry, which originally meant the same as "land measurement".^{[8]} The development of mathematical proof is primarily the product of ancient Greek mathematics, and one of the greatest achievements thereof. Thales (624–546 BCE) and Hippocrates of Chios (c. 470–410 BCE) proved some theorems in geometry. Eudoxus (408–355 BCE) and Theaetetus (417–369 BCE) formulated theorems but did not prove them. Aristotle (384–322 BCE) said definitions should describe the concept being defined in terms of other concepts already known. Mathematical proofs were revolutionized by Euclid (300 BCE), who introduced the axiomatic method still in use today, starting with undefined terms and axioms (propositions regarding the undefined terms assumed to be self-evidently true from the Greek "axios" meaning "something worthy"), and used these to prove theorems using deductive logic. His book, the *Elements*, was read by anyone who was considered educated in the West until the middle of the 20th century.^{[9]} In addition to theorems of geometry, such as the Pythagorean theorem, the *Elements* also covers number theory, including a proof that the square root of two is irrational and that there are infinitely many prime numbers.

Further advances took place in medieval Islamic mathematics. While earlier Greek proofs were largely geometric demonstrations, the development of arithmetic and algebra by Islamic mathematicians allowed more general proofs that no longer depended on geometry. In the 10th century CE, the Iraqi mathematician Al-Hashimi provided general proofs for numbers (rather than geometric demonstrations) as he considered multiplication, division, etc. for "lines." He used this method to provide a proof of the existence of irrational numbers.^{[10]} An inductive proof for arithmetic sequences was introduced in the *Al-Fakhri* (1000) by Al-Karaji, who used it to prove the binomial theorem and properties of Pascal's triangle. Alhazen also developed the method of proof by contradiction, as the first attempt at proving the Euclidean parallel postulate.^{[11]}

Modern proof theory treats proofs as inductively defined data structures. There is no longer an assumption that axioms are "true" in any sense; this allows for parallel mathematical theories built on alternate sets of axioms (see Axiomatic set theory and Non-Euclidean geometry for examples).