سازگاری (منطق ریاضی) - زبان‌های دیگر