Read news on Peano arithmetic with our app.
Read more in the app
How multiplication is defined in Peano arithmetic
Peano arithmetic is enough, because Peano arithmetic encodes computation