Just to add a - fairly minor - detail - you don't need full Peano axioms. You don't need full induction.
It's enough to have a recursive definition of addition and multiplication.
Robinson arithmetic
It's enough to have a recursive definition of addition and multiplication.
Robinson arithmetic
About the Author
Robert Walker
Writer of articles on Mars and Space issues - Software Developer of Tune Smithy, Bounce Metronome etc.Studied at Wolfson College, Oxford
Lives in Isle of Mull
4.8m answer views110.4k this month
Top Writer2017, 2016, and 2015
Published WriterHuffPost, Slate, and 4 moreHuffPost, Slate, Forbes, Newsweek, Business Insider, and Science 2.0