noun
Meaning 1
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.
Definition source: English Wiktionary via Wiktextract
Usage: countable, uncountable
Topics: human-sciences, logic, mathematics, philosophy, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided