structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / d. Infinite Sets

[sets which contain an infinity of members]

10 ideas
An infinite set maps into its own proper subset [Dedekind, by Reck/Price]
Cantor showed that supposed contradictions in infinity were just a lack of clarity [Cantor, by Potter]
The continuum is the powerset of the integers, which moves up a level [Cantor, by Clegg]
We can enumerate finite classes, but an intensional definition is needed for infinite classes [Russell]
We understand some statements about all sets [Putnam]
Set theory says that natural numbers are an actual infinity (to accommodate their powerset) [Brown,JR]
Set theory made a closer study of infinity possible [Clegg]
Any set can always generate a larger set - its powerset, of subsets [Clegg]
Those who reject infinite collections also want to reject the Axiom of Choice [Lavine]
Infinite sets correspond one-to-one with a subset [Friend]