EntityQ49938· pop 20Peano arithmeticSign in to saveaxiomatic theory of the arithmetic of nonnegative integersConnectionsPeano axiomsEntity