數學就是符號加邏輯

數學源於古希臘早期的學問,數學、哲學、物理分不開.其思維方式就是概念、判斷、推理的形式邏輯.哲學,就是概念+邏輯.那麼數學就是符號+邏輯了.

現代數學與古代數學區別在於 現代數學有統一符號 同時邏輯嚴格。

定理 公理證明極其嚴格，沒有定理定義的支撐絕對不能算對，儘管有時他確實是對的，但是沒有嚴格的推理演繹都不能算正確，所以現在有很多命題猜想用各種高科技計算器計算都能感覺是對的。但是沒有科學嚴格的證明我們仍舊不能承認。

所以數學的邏輯要求很嚴格苛刻。符號的引入，使得數學推理運算寫法變得更加簡介明瞭。