Moore, M. E. The Completeness of the Real Line. CRHF 2018, 39, 61-86.