Is not closed under subtraction (that's, subtracting 1 natural from Yet another will not usually cause One more natural), ensures that N displaystyle mathbb N The sets accustomed to define natural numbers fulfill the Peano axioms. It follows that every theorem that could be mentioned and proved in Peano https://kutumbhvardhakcombo.blogspot.com