15894 | Russell invented the naïve set theory usually attributed to Cantor [Russell, by Lavine] |
10485 | Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
13441 | Naïve set theory has trouble with comprehension, the claim that every predicate has an extension [Hart,WD] |
9933 | The paradoxes are only a problem for Frege; Cantor didn't assume every condition determines a set [Burgess/Rosen] |
9615 | Nowadays conditions are only defined on existing sets [Brown,JR] |
9613 | Naïve set theory assumed that there is a set for every condition [Brown,JR] |