Peano arithmetic (English, noun)
expansion: Peano arithmetic (countable and uncountable, plural Peano arithmetics)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: 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.
tags: countable
uncountable
Forms:
form: Peano arithmetics
tags: plural