Peano axioms appear in foundational mathematics and logic; prime factorization is a derived theorem ...
This proposition has not been edited since the history system was added.