ผลต่างระหว่างรุ่นของ "คณิตตรรกศาสตร์"

{{ต้องการอ้างอิง}}

{{ลิงก์ไปภาษาอื่น}}

 

แม้ว่าคนทั่วไปมักมีความเข้าใจว่า คณิตตรรกศาสตร์คือ ''ตรรกศาสตร์ของคณิตศาสตร์'' แต่ความจริงแล้วสาขานี้ใกล้เคียงกับ ''คณิตศาสตร์ของตรรกศาสตร์'' มากกว่า เนื้อหาวิชาในสาขานี้ครอบคลุมส่วนของ[[ตรรกศาสตร์]]ที่สามารถโมเดลในรูปของคณิตศาสตร์ได้ เมื่อก่อนสาขานี้ถูกเรียกว่า ''ตรรกศาสตร์สัญลักษณ์'' (ในลักษณะที่ตรงข้ามกับ[[ตรรกศาสตร์เชิงปรัชญา]]) และ[[อภิคณิตศาสตร์]] ซึ่งในปัจจุบันเป็นเพียงคำที่ใช้ในบางสาขาของ[[ทฤษฎีบทพิสูจน์]]