جمله
type: Concept
preferred label: sentence @en
related: نظریه مدل کامل

قوت زبان
type: Concept
preferred label: cardinality of language @en
related: نظریه مدل کامل

نظریه کامل
type: Concept
preferred label: complete theory @en
related: نظریه مدل کامل

نظریه
type: Concept
preferred label: theory @en
related: نظریه مدل کامل

زبان
type: Concept
preferred label: language @en
related: نظریه مدل کامل

زیرمجموعه
type: Concept
preferred label: subset @en
related: نظریه مدل کامل

مجموعه
type: Concept
preferred label: set @en
related: نظریه مدل کامل

مدل تکمیل‌شده نظریه
type: Concept
broader: نظریه مدل کامل
preferred label: model completion of theory @en

مدل تمامیت
type: Concept
broader: نظریه مدل کامل
preferred label: model completeness @en

نظریه مدل کامل
type: Concept
broader: مدل
narrower: مدل تکمیل‌شده نظریه
narrower: مدل تمامیت
preferred label: model complete theory @en
related: مجموعه
related: نظریه کامل
related: نظریه
related: جمله
related: قوت زبان
related: زیرمجموعه
related: زبان
scope note: نظریه T در زبان L را مدل کامل گوییم اگر برای هر دو مدل M و N برای T , اگر M زیرمجموعه N باشد آنگاه M زیرمدل مقدماتی N است.

مدل
type: Concept
narrower: نظریه مدل کامل
preferred label: model @en