2 ms·
You could probably build that up from the peano axioms and the definition of multiplication and divisibility.
by serge2k 10y ago
You could probably build that up from the peano axioms and the definition of multiplication and divisibility.
- schoen 10y agoIt seems a bit tricky to do so without proving the fundamental theorem along the way, given another commenter's observation that the same principle doesn't hold for divisibility by composite numbers (you can get 726=22×33, where 726 is divisible by 6 yet neither 22 nor 33 is).