"peano" -
key terms from Wikipedia
peano
peano
arithmetic
peano
axioms