itd.; ogólnie, w wierszu n-tym wpisujemy liczby postaci n/i, -n/i gdzie i=1,2,3,... W ten sposób w tablicy znajdą się wszystkie liczby wymierne. Aby teraz z takiej dwuwymiarowej tabeli wybrać ciąg zawierający kolejno wszystkie jej elementy, wystarczy wybierać liczby według reguły "po skosie" zaczynając od lewego górnego rogu i poruszając się raz w dół, raz do góry. Otrzymujemy tym samym uporządkowanie wszystkich liczb wymiernych w ciąg – co więcej, każda liczba wymierna pojawi się w tym ciągu nieskończenie wiele razy. Zbiór liczb algebraicznych jest przeliczalny. Zbiór liczb rzeczywistych nie jest zbiorem przeliczalnym (jest to przykład zbioru nieprzeliczalnego) - zob.: rozumowanie przekątniowe.
Przypisy
Bibliografia
Kategoria:Liczby kardynalne