قضیه - زبان‌های دیگر