The completeness property of the set of real numbers in the transition from calculus to analysis