数学不是是形式逻辑。

其实，两者并没有完全的割裂，就好像艺术和语言一样，语言是一种艺术，同时，艺术也是一门语言，两个既有自己独立的领域，又有相互交融的关系。逻辑出现在数学中，是为了证明数学里面有一个不能证明的，逻辑用来推断未知，那很多未知需要用数学来表现出来。到最后，这样的争论就会变成鸡生蛋，蛋生鸡的问题，所以，自然随意点就好。