>>>> Stwierdzenie "liczba ma następnik" jest wzajemnie jednoznaczne, nie ma
>>>> więc innej możliwości jak ta, że liczb jest tyle samo, co ich
>>>> następników.
>>>>
>>>> syzyf
>
>
>>> Edward Robak* z Nowej Huty zapytał:
>>> Czy hotel Hilberta to taki właśnie zbiór, w którym
>>> "każda liczba ma następnik"?
>
>
>> Hotel Hilberta to taki zbiór pokoi, w którym za każdym pokojem jest
>> następny, z numerem o jeden większym.
>>
>> syzyf
>
>
> Edward Robak* z Nowej Huty drąży:
> Czy w hotelu Hilberta w którym za każdym pokojem jest następny
> z numerem o jeden większym - występują wszystkie nazwy numerów
> czy może jakichś nazw brakuje? :-)

Każdy pokój jest jednoznacznym odpowiednikiem liczby ze zbioru jak niżej:

>>>>>>>>> [...] Liczby porządkowe tworzą zbiór nieograniczony. To jedyny
>>>>>>>>> zbiór który można nazwać
>>>>>>>>> "nieskończonym". [...]
>>>>>>>>> 1. Każda liczba w tym zbiorze ma swój następnik.
>>>>>>>>> Edward Robak* z Nowej Huty

syzyf