first order structures
ساختارهای مرتبه‌اول
Craig interpolation theorem
قضیه درون‌یابی کرایگ