Prime factorization reveals deep structural invariants (unique factorization); Peano axioms are mere...
This proposition has not been edited since the history system was added.