数学是形式逻辑吗

数学不是是形式逻辑。

其实，两者并没有完全的割裂，就好像艺术和语言一样，语言是一种艺术，同时，艺术也是一门语言，两个既有自己独立的领域，又有相互交融的关系。

逻辑出现在数学中，是为了证明数学里面有一个不能证明的，逻辑用来推断未知，那很多未知需要用数学来表现出来。到最后，这样的争论就会变成鸡生蛋，蛋生鸡的问题，所以，自然随意点就好。

数学”与“逻辑”是两种有着很多一致性但又有明显区别的知识和能力。逻辑和数学都是基于规则的基础学科，两个学科都用到了对方的一些内容，所以常常会一起说。逻辑是哲学、语言、数学的引擎。它对我们的生活产生了深远的影响。逻辑不仅影响各领域学科的发展，也深刻影响着人类的生活