Wróć do Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek.