數學邏輯

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