Basically, if a contradiction can be proved in Peano arithmetic, then set concept could be logically inconsistent. Intuitively, the natural amount n will be the common property of all sets that have n things. So, it seems natural to determine n being an equivalence class beneath the relation "can be https://www.diigo.com/item/pdf/bksie/h3ox