第二次数理逻辑危机：因芝诺的乌龟引出“无穷小”，微积分险被打倒！

这个难题有用来说是就是，减法那时候，除数不可是0。在向量场那时候，如果是0的话，就不可好好分母，如果不是0的话，那怎么又说是是“一个点”的向量场呢？这不是自相矛盾吗？

所以这个难题就是：二阶有不能有不能0。这个难题在当时完全不能解答，所以微积分学的框架是存在观点缺点的。虽然好用，但是是知其然，不知其所以然。因此，这件多事，就是第二次数理逻辑困局。

第二次数理逻辑困局就这样仍然停滞了150多年。在这段长达的时间那时候，很多的牛人数理逻辑家想要留恋这次困局，但是都失败了，但是在失败的每一次当中也出有了很多科研成果。150多年后，多位数理逻辑家，像大名鼎鼎的柯西、博雷尔和埃尔米特等人对“二阶”的观念同步进行了严格的概念，从而使得微积分学有了坚实的框架。

自此，第二次数理逻辑困局圆满妥善解决。归根结底，第二次困局是一场关系到二阶量有不能有不能0的难题，它关系到微积分学的存在框架。这次困局从萌芽到妥善解决，当两边经历了2000多年，这次困局，使得全人类下决心进入了现代生物学的堂前。

来自：生物学新视界