R. Dedekind, “Continuity and irrational numbers”, AUPC, vol. 9, no. 1, pp. 169–183, Jul. 2018.