سازگاری (منطق ریاضی)

سازگاری (یا همخوانی) در منطق به معانی گوناگونی به‌کار می‌رود. ساده‌ترین معنای آن نبود تناقض (یا ناهمخوانی) در نظام است.

منابع 

 

فرامنطق
مسائل هیلبرت
منطق ریاضی
نظریه برهان