柯西數列，成全了微積分的一個定義，以及實數域的自我救贖