| |
| | Peter Suber, "Infinite Sets" |
 | | To show that an infinite set, like the even numbers, can be put into one-to-one correspondence with another, like the odd numbers, we need only produce a rule-governed sequence for each set which runs through the members without omission or repetition, for example, 2, 4, 6... |
 | | The resulting infinite string of "yeses" and "noes" is demonstrably different from every row of the infinite table, for it differs from the first row in the first term, from the second row in the second term, and so on. |
 | | It may therefore be taken as the defining condition of infinite magnitude, and its absence as the defining condition of finitude. |
| www.earlham.edu /~peters/writing/infapp.htm (6879 words) |
|