Example image of eyePlorer eyePlorer map for 'Formalism (mathematics)': Foundations of mathematics Logic Mathematics Philosophy of logic Philosophy of mathematics Rule of inference Theory Axiom Euclidean geometry Pythagorean theorem Validity Interpretation (logic) Semantics Syntax (logic) Rigour Formal system Computer science David Hilbert Theorem Automated proof checking Interactive theorem proving Machine-readable medium Hypothetico-deductive model Bracketing (phenomenology) Completeness Consistency Hilbert's program Arithmetic Contradiction Integer Gödel's incompleteness theorems Metamathematics Alfred Tarski Haskell Curry Rudolf Carnap Mathematical logic Abstract rewriting system Brouwer–Hilbert controversy Typed lambda calculus Mathematosis Formalism Anathem Intuitionism Philosophical problems Axiom of reducibility