Basically, if a contradiction could be proved in Peano arithmetic, then set theory could well be logically inconsistent. Intuitively, the natural quantity n would be the prevalent property of all sets which have n factors. So, It appears natural to define n being an equivalence class beneath the relation "is https://buyayurvedicproducts.fashion.blog/