Example image of eyePlorer eyePlorer map for 'Constructive proof': Mathematical object Mathematical proof Mathematics Existence theorem Axiom of choice König's lemma Constructivism (mathematics) Algorithm Brouwer–Heyting–Kolmogorov interpretation Calculus of constructions Intuitionistic type theory Irrational number Rational number Fundamental theorem of arithmetic Law of excluded middle Gelfond–Schneider theorem Robertson–Seymour theorem Graph (mathematics) Minor (graph theory) Torus E. M. Wright G. H. Hardy Constructive quantum field theory Proof mining Agda (theorem prover) Borel's lemma Coq Probabilistic method Solved game Tarski's circle-squaring problem Lovász local lemma Probabilistic proofs of non-probabilistic theorems Mathematical Treatise in Nine Sections Ordinary mathematics Polynomial factorization Euclid–Mullin sequence List of Chinese discoveries Dependent type Fiber bundle construction theorem Pompeiu's theorem Smale's paradox Gödel numbering for sequences Second-order arithmetic Sylver coinage Hilbert's basis theorem Optimal solutions for Rubik's Cube Value at risk Artin's conjecture on primitive roots Fundamental theorem of algebra Drinker paradox