To paraphrase, if a contradiction could possibly be proved in Peano arithmetic, then set principle could be logically inconsistent. Intuitively, the natural amount n will be the common assets of all sets that have n components. So, it seems natural to define n being an equivalence course under the relation https://ayurvedicsupplementonline.blogspot.com