參考這個實數公理介紹，定義完無理數後，極限理論可以被推導出來，所以你是對的：）

https://baike.baidu.com/item/%E6%97%A0%E7%90%86%E6%95%B0/105044
 

根據這個微積分是實用在先，開始時邏輯並不嚴實：）

https://baike.baidu.com/item/%E5%AE%9E%E6%95%B0%E7%90%86%E8%AE%BA/2943264