οι άρρητοι είναι βεβαια περισσοτεροι από τους ρητους.το θεμα ειναι να δειξουμε 1) οι ρητοι αριθμουνται και 2)οι αρρητοι δεν αριθμουνται.για το 1) μπορουμε να γραψουμε το συνολο των ρητων ως μια αριθμησιμη ενωση αιριθμησιμων συνολων (πως?) και να χρησιμοποιησουμε το θεωρημα του cantor που λεει οτι η αριθμησιμη ένωση αριθμησιμων συνολων ειναι αριθμησιμο συνολο (1η διαγωνια διαδικασια).για το 2) μπορουμε να χρησιμοποιησουμε απαγωγη σε ατοπο.αν οι αρρητοι αριθμουνταν τοτε το R ως ενωση των ρητων και των αρρητων θα ηταν αριθμησιμο,πραγμα που δεν ισχυει.οι αρρητοι λοιπον εχουν την ισχυ του συνεχους ενω οι ρητοι οχι.
τελος ο ευκλειδης μας πληροφορει για την απειρια των πρωτων αριθμων (ισως η ωραιοτερη αποδειξη σ ολα τα μαθηματικα).αρα οι πρωτοι ειναι ισοπληθικοι με τους φυσικους! και βεβαια ειναι και γνησιο υποσυνολο τους.
γενικα ισχυει το εξης:
θεωρημα: Ενα συνολο ειναι απειρο αν και μονο αν ειναι ισοπληθικο με καποιο γνησιο υποσυνολο του. (αποδειξη?)
Σημείωση: Το μήνυμα αυτό γράφτηκε 17 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.