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