2.數理邏輯也叫符號邏輯和理論邏輯。它是數學的壹個分支，是用數學方法研究邏輯或形式邏輯的學科。
3.研究對象是將證明和計算這兩個直觀概念符號化後的形式系統。
4.數理邏輯是數學基礎不可缺少的壹部分。名字中雖有邏輯二字，但不屬於純邏輯範疇。