NJ5 said: The starting point is the definition of the numbers 2, 3 and 4, and the associative property of addition: That's the best I can do right now, seems like a reasonable proof relying only on one axiom. Obviously we have to rely on something to start up the proof, since nothing can be proved from nothing.
|
Makes sense.