نظریه کامل
type: Concept
broader: نظریه
preferred label: complete theory @en
related: آزمون وات
related: نظریه مدل کامل
related: حذف سور
related: تمامیت نظریه
scope note: نظریه T نظریه کامل است اگر به ازای هر جمله A در زبان L , جمله A یا نقیض A در T برقرارباشد.

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

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

حذف سور
type: Concept
preferred label: quantifier elimination @en
related: نظریه کامل

آزمون وات
type: Concept
preferred label: Vaught test @en
related: نظریه کامل

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