開主選單
頭版
隨機
附近
簽到
捐畀維基百科
關於維基百科
免責聲明
搵嘢
數學邏輯
其他文嘅版本
監視
改
(由
數理邏輯
跳轉過嚟)
數學邏輯
(
英文
:
mathematical logic
),又叫
數理邏輯
、
符號邏輯
,係
數學
同
邏輯
一個分支,佢嘅研究對象係對
證明
同
計算
呢兩個直觀概念符號化之後嘅
形式系統
。數理邏輯係數學基礎好重要嘅組成部分。
呢篇
數學邏輯
係關於
數學
嘅
楔位文章
,重未完成嘅。麻煩你幫手
補充
佢嘅內容。