Dedekind, R. Continuity and Irrational Numbers. AUPC 2018, 9, 169-183.