Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun logic A set of
axioms offirst-order logic for thenatural numbers specifying the operations of zero, successor, addition and multiplication, including a first-order schema of induction.
Etymologies
from Wiktionary, Creative Commons Attribution/Share-Alike License
After Giuseppe Peano.
Support
Help support Wordnik (and make this page ad-free) by adopting the word Peano arithmetic.
Examples
Sorry, no example sentences found.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.