數學邏輯知識摘要

(共計：21)

數學邏輯- 維基百科，自由嘅百科全書 - Wikipedia
數學邏輯，又叫數理邏輯、符號邏輯，係數學同邏輯一個分支，佢嘅研究對象係對證明同計算呢兩個直觀概念符號化之後嘅形式系統。