數學是形式邏輯嗎

數學不是是形式邏輯。

其實，兩者並沒有完全的割裂，就好像藝術和語言一樣，語言是一種藝術，同時，藝術也是一門語言，兩個既有自己獨立的領域，又有相互交融的關係。

邏輯出現在數學中，是為了證明數學裏面有一個不能證明的，邏輯用來推斷未知，那很多未知需要用數學來表現出來。到最後，這樣的爭論就會變成雞生蛋，蛋生雞的問題，所以，自然隨意點就好。

數學”與“邏輯”是兩種有着很多一致性但又有明顯區別的知識和能力。邏輯和數學都是基於規則的基礎學科，兩個學科都用到了對方的一些內容，所以常常會一起説。邏輯是哲學、語言、數學的引擎。它對我們的生活產生了深遠的影響。邏輯不僅影響各領域學科的發展，也深刻影響着人類的生活