4 ideas
9616 | A set is a collection into a whole of distinct objects of our intuition or thought [Cantor] |
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
15896 | Cantor needed Power Set for the reals, but then couldn't count the new collections [Cantor, by Lavine] |
19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |