cardinality of language
قوت زبان
زیرمجموعه
subset
theory
نظریه
sentence
جمله
set
مجموعه
complete theory
نظریه کامل
model completeness
مدل تمامیت
language
زبان
model
مدل
model completion of theory
مدل تکمیل‌شده نظریه
model complete theory
نظریه مدل کامل
نظریه T در زبان L را مدل کامل گوییم اگر برای هر دو مدل M و N برای T , اگر M زیرمجموعه N باشد آنگاه M زیرمدل مقدماتی N است.