Example image of eyePlorer eyePlorer map for 'Peano axioms': Axiom Giuseppe Peano Italian people Mathematical logic Mathematician Natural number Completeness Consistency Metamathematics Number theory Hermann Grassmann Mathematical induction Primitive recursive function Richard Dedekind Equality (mathematics) First-order logic Second-order logic Logical implication Begriffsschrift Gottlob Frege Ernst Schröder George Boole Set (mathematics) Binary relation Signature (logic) Reflexive relation Symmetric relation Transitive relation Closure (mathematics) Function (mathematics) Arithmetic Identity element Unary numeral system Injective function Predicate (mathematical logic) Robinson arithmetic Addition Multiplication Total order Addition of natural numbers Infix notation Recursion Cancellation property Commutativity Embedding Group (mathematics) Magma (algebra) Semigroup Integer Distributivity
Disclaimer