3 ms·
The system need be no more complex than first-order Peano arithmetic, which is the Peano axioms (reflexivity, transitivity, succession, etc.) combined with the
by jimfl 17y ago
The system need be no more complex than first-order Peano arithmetic, which is the Peano axioms (reflexivity, transitivity, succession, etc.) combined with the concept of induction.
- idlewords 17y agoWell, leave out succession and you get the reals, which are still complex enough (no pun intended) to offer hours of fun.