Example image of eyePlorer eyePlorer map for 'Syntax (logic)': Formal language Formal system Interpretation (logic) Logic Meaning (linguistics) Formal semantics Formal proof Symbol (formal) Theorem Well-formed formula Computer science Programming language Semantics Syntax (programming languages) Abstraction Concept Idea Type-token distinction Logical constant Set (mathematics) String (computer science) Formation rule Reference Alphabet Falsity Sentence (linguistics) Truth Ontology Word Truthbearer Sentence (mathematical logic) Set Deductive system Axiom Rule of inference Proof theory Derivation Consistency Predicate logic Propositional calculus Tautology Gödel's incompleteness theorems Peano axioms Truth value Structure (mathematical logic) Metalanguage Logical connective Logical graph Logical equivalence IIf