The real line and the set of real numbers. Forum Docentis, n. 1, p. 3–13, 9 Nov.2022.