數學邏輯

(由數理邏輯跳轉過嚟)

數學邏輯,又叫數理邏輯符號邏輯,係數學邏輯一個分支,佢嘅研究對象係對證明計算呢兩個直觀概念符號化之後嘅形式系統