参考这个实数公理介绍，定义完无理数后，极限理论可以被推导出来，所以你是对的：）

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