數理邏輯
詞語意思：
亦稱“符號邏輯”。狹義指用數學方法研究數學中的演繹思維以及數學基礎的學科。廣義指一切用符號和數學方法處理和研究演繹法的學問。既是數學的一個分支，又是邏輯學的一個分支。數理邏輯對數學研究和工程技術有重要意義，對一般思維中某些問題的解決也有成效。
分詞解釋：
學問：
系統的知識。也泛指知識：學問淵博｜很有學問。
某些：
表示不止一個或一種的不定數量。
一切：
1.權宜;臨時。
2.副詞。一概;一律。
3.全部，所有。
4.泛指全部事物。
5.一般的;普通的。
研究：
①鉆研；探求事物的性質、規律等：凡事須得研究，才會明白｜研究人類學。
②考慮；商討：這個方案領導正在研究｜請大家來研究問題。
廣義：
范圍較寬的定義（跟‘狹義’相對）：廣義的雜文也可以包括小品文在內。