Peano arithmetic Uncommon

Definition, synonyms and related words

Definitions

Noun

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.

See Also

pa presburger arithmetic successor first order logic arithmetical set löb's theorem natural number paris harrington theorem

Related Terms

pa presburger arithmetic successor first order logic arithmetical set löb's theorem natural number paris harrington theorem axiom resplendency clarithmetic resplendent

Rhyming Words

tic otic etic ictic mutic lotic attic ontic istic vatic octic latic metic artic ustic matic votic retic optic nitic

Compare