5 ideas
9616 | A set is a collection into a whole of distinct objects of our intuition or thought [Cantor] |
16974 | The nature of each logical concept is given by a collection of inference rules [Correia] |
15896 | Cantor needed Power Set for the reals, but then couldn't count the new collections [Cantor, by Lavine] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |
16973 | Explain logical necessity by logical consequence, or the other way around? [Correia] |