Definitions from Wiktionary (Peano arithmetic)
▸ noun: (logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, addition and multiplication, including a first-order schema of induction.
▸ Words similar to Peano arithmetic
▸ Usage examples for Peano arithmetic
▸ Idioms related to Peano arithmetic
▸ Wikipedia articles (New!)
▸ Words that often appear near Peano arithmetic
▸ Rhymes of Peano arithmetic
▸ Invented words related to Peano arithmetic
▸ noun: (logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, addition and multiplication, including a first-order schema of induction.
Similar:
Peano axiom,
Presburger arithmetic,
arithmetical set,
clarithmetic,
Peano,
Robinson arithmetic,
Polish notation,
zero-order logic,
Peano curve,
predicate logic,
more...
▸ Words similar to Peano arithmetic
▸ Usage examples for Peano arithmetic
▸ Idioms related to Peano arithmetic
▸ Wikipedia articles (New!)
▸ Words that often appear near Peano arithmetic
▸ Rhymes of Peano arithmetic
▸ Invented words related to Peano arithmetic