數學邏輯（英文：mathematical logic），又叫數理邏輯、符號邏輯，係數學同邏輯一個分支，佢嘅研究對象係對證明同計算呢兩個直觀概念符號化之後嘅形式系統。數理邏輯係數學基礎好重要嘅組成部分。
 |
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
