Peano's axioms

/ pɪˈɑːnəʊz /

plural noun

1. a set of axioms that yield the arithmetic of the natural numbers

Word History and Origins

Origin of Peano's axioms¹

named after Giuseppe Peano (1858–1932), Italian mathematician

Example Sentences

To turn Peano’s axioms into music, Marthinsen assigned each logical symbol to a musical note to create short musical phrases, which he calls gödelings.

Read more on Nature

Peano’s axioms can be expressed in the notation of symbolic logic, from which all basic arithmetical operations, such as multiplication, can be derived.

Read more on Nature