Example image of eyePlorer eyePlorer map for 'Theorem': Axiom Mathematical proof Mathematics Deductive system Formal proof Formal system Mathematical logic Well-formed formula Premise Deductive reasoning Empirical Theory Propositional calculus Fermat's Last Theorem Indicative conditional Logic Conjecture Hypothesis Natural number Proof theory Combinatorics Number theory Four color theorem Kepler conjecture Doron Zeilberger Pythagorean theorem Quadratic reciprocity Formal language Formula Rule of inference First-order logic Lambda calculus Rewriting Gödel's incompleteness theorems Epistemology Experiment Falsifiability Collatz conjecture Riemann zeta function Brute-force search Googol Group theory Proposition Lemma (mathematics) Mathematician Gauss's lemma (polynomial) Zorn's lemma Corollary Identity (mathematics) Euler's identity