Example image of eyePlorer eyePlorer map for 'Formal proof': Axiomatic system Mathematical proof Proof theory Axiom Formal language Proposition Rule of inference Well-formed formula Formal system Theorem Effective method Generalization Natural deduction Logical consequence Deductive system Interactive theorem proving Automated theorem proving Set (mathematics) Symbol Interpretation (logic) Meaning (linguistics) Reference Alphabet String (computer science) Semantics Formal semantics Structure (mathematical logic) Fitch-style calculus Proof-carrying code Brillouin's theorem Simplification Propositional calculus Syntax (logic) Derivative of a constant Intended interpretation Doxastic logic Decidability (logic) Ethics (book) F. R. Carrick Institute Gödel's incompleteness theorems Theory Turnstile (symbol) Jordan curve theorem Metalanguage Object language Feit–Thompson theorem Derivation Formal Proof Metalogic