數學邏輯

出自維基百科,自由嘅百科全書
跳去導覽 跳去搵嘢

數學邏輯英文mathematical logic),又叫數理邏輯符號邏輯,係數學邏輯一個分支,佢嘅研究對象係對證明計算呢兩個直觀概念符號化之後嘅形式系統。數理邏輯係數學基礎好重要嘅組成部分。