Example image of eyePlorer eyePlorer map for 'Tarski's axioms': Alfred Tarski Euclidean geometry First-order logic Identity (mathematics) Set theory Birkhoff's axioms Hilbert's axioms Formal system Sentence (mathematical logic) Syntax (logic) Primitive data type Theory (mathematical logic) Predicate (mathematical logic) Mathematical logic Prenex normal form Existential quantification Universal quantification Algorithm Decidability (logic) Completeness Gödel's incompleteness theorems Robinson arithmetic Axiom Axiom schema Metamathematics Plane geometry Point (geometry) Universe (mathematics) Ternary relation Atomic sentence Congruence (geometry) Finitary relation Affine geometry Distance Line segment Metric space Binary relation Free variables and bound variables Symmetry Reflexive Euclid's Elements Euclidean relation Triangle Vertex (geometry) Dedekind cut Dimension Model theory Parallel postulate Internal and external angle Right angle