“The real line and the set of real numbers”, ForDoc, no. 1, pp. 3–13, Nov. 2022, doi: 10.33732/FD.v2022.n1.2.