數學邏輯

出自維基百科,自由嘅百科全書
(由符號邏輯跳轉過嚟)