柯西数列，成全了微积分的一个定义，以及实数域的自我救赎