theory
preferred label: نظریه @fa
type: Concept
related: completeness of theory

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

quantifier elimination
preferred label: حذف سور @fa
type: Concept
related: completeness of theory

completeness of theory
related: theory
related: complete theory
related: quantifier elimination
broader: first order structures
preferred label: تمامیت نظریه @fa
type: Concept

first order structures
preferred label: ساختارهای مرتبه‌اول @fa
type: Concept
narrower: completeness of theory