Example image of eyePlorer eyePlorer map for 'Mathematical proof': Mathematics Proposition Deductive reasoning Empirical Inductive reasoning Conjecture Theorem Lemma (mathematics) Logic Natural language Informal logic Formal proof Proof theory Folk mathematics Mathematical practice Quasi-empiricism in mathematics Mathematics as a language Philosophy of mathematics Thales Eudoxus Theaetetus Aristotle Axiom Euclid Non-Euclidean geometry Formal language Independence (mathematical logic) Analytic-synthetic distinction Mathematical beauty Paul Erdős Proofs from THE BOOK Integer Parity (mathematics) Distributivity Infinity Infinite descent Contraposition Irrational number Joseph Liouville Liouville number Transcendental number Four color theorem Probability theory Collatz conjecture Existence theorem Bijective proof Double counting (proof technique) Mathematical object Rational number Proof without words