A natural variety is actually a attribute of a set, utilised to describe its size (how it is many) and distinguish it from other collections. The sets used to define natural numbers fulfill the Peano axioms. It follows that every theorem which might be said and proved in Peano arithmetic https://safeherbalsupplements.art.blog/