Example image of eyePlorer eyePlorer map for 'Proof theory': Mathematical logic Mathematical object Mathematical proof Axiom Data structure Rule of inference Formal semantics Model theory Syntax (logic) Computability theory Foundations of mathematics Set theory Philosophical logic Proof-theoretic semantics Structural proof theory Bertrand Russell David Hilbert Giuseppe Peano Gottlob Frege Hilbert's program Richard Dedekind Gödel's completeness theorem Gödel's incompleteness theorems Kurt Gödel Hilbert system Jan Łukasiewicz Combinatorial proof Peano axioms Sequent calculus Analytic proof Interactive theorem proving Automated theorem proving Peer review Classical logic Intuitionistic logic Linear logic Modal logic Predicate logic Proof calculus Propositional calculus Relevance logic Substructural logic Ω-consistent theory Alan Turing J. Barkley Rosser Provability logic Self-verifying theories Solomon Feferman Cut-elimination theorem Dag Prawitz