complete theory
نظریه کامل
completeness of theory
تمامیت نظریه
first order structures
ساختارهای مرتبه‌اول
quantifier elimination
حذف سور