To Paraphrase, if a contradiction might be proved in Peano arithmetic, then set concept could be logically inconsistent. Intuitively, the natural range n could be the prevalent home of all sets which have n elements. So, It appears natural to outline n being an equivalence class under the relation "might https://madhumehharcapsule.blogspot.com/