Convergence, completeness, completion of real numbers