严格化之后

把微积分的全部基础词汇重新定义了一遍

微积分曾经建在流数上和无穷小上，1821 年柯西把它搬到了极限上。可这份严格化自己就有漏洞。