نظریه مجموعه‌ها
preferred label: set theory @en
type: Concept
related: قوت زبان

حدس
preferred label: conjecture @en
type: Concept
related: قوت زبان

زیرساخت مقدماتی
preferred label: elementary substructure @en
type: Concept
related: قوت زبان

نمودار اتمی
preferred label: atomic diagram @en
type: Concept
related: قوت زبان

رده‌بندی ساختارهای مرتبه‌اول
preferred label: classification of first order strucuters @en
type: Concept
related: قوت زبان

قضیه جازمیت
preferred label: categoricity theorem @en
type: Concept
related: قوت زبان

فرض
preferred label: hypothesis @en
type: Concept
related: قوت زبان

زیرساخت بسته
preferred label: closed substructure @en
type: Concept
related: قوت زبان

قوت زبان
related: نظریه مدل کامل
related: زیرساخت مقدماتی
related: زیرساخت هم پایان
related: معنا شناسی منطق مرتبه دوم
related: پارادکس
related: نمودار اتمی
related: اصلی
related: زیرساخت بسته
related: بسط ساختار
related: تابع اسکولم
related: استنتاج
related: رده‌بندی ساختارهای مرتبه‌اول
related: جبر رابطه‌ای
related: معنا شناسی منطق مرتبه اول
related: حدس
related: تناقض
related: مدل همگن
related: قضیه جازمیت
related: نظریه رده‌بندی
related: نظریه مجموعه‌ها
related: مثال نقض
related: نقیض
related: آزمون وات
related: فرض
related: ویژگی شاهد
related: نتیجه
related: فورکینگ
related: شرط
related: قضیه ناتمامیت گودل
related: تایپ تعریف‌پذیر
related: قضیه تارسکی-وات
type: Concept
preferred label: cardinality of language @en
broader: زبان

نقیض
preferred label: negation @en
type: Concept
related: قوت زبان

تایپ تعریف‌پذیر
preferred label: definable type @en
type: Concept
related: قوت زبان

شرط
preferred label: condition @en
type: Concept
related: قوت زبان

آزمون وات
preferred label: Vaught test @en
type: Concept
related: قوت زبان

مدل همگن
preferred label: homogeneous model @en
type: Concept
related: قوت زبان

قضیه تارسکی-وات
preferred label: Tarski-Vaught theorem @en
type: Concept
related: قوت زبان

استنتاج
preferred label: deduction @en
type: Concept
related: قوت زبان

تابع اسکولم
preferred label: skolem function @en
type: Concept
related: قوت زبان

قضیه ناتمامیت گودل
preferred label: Godel incompleteness theorem @en
type: Concept
related: قوت زبان

پارادکس
preferred label: paradox @en
type: Concept
related: قوت زبان

مثال نقض
preferred label: counterexample @en
type: Concept
related: قوت زبان

نتیجه
preferred label: sequent @en
type: Concept
related: قوت زبان

فورکینگ
preferred label: forking @en
type: Concept
related: قوت زبان

زبان
preferred label: language @en
type: Concept
narrower: قوت زبان

معنا شناسی منطق مرتبه اول
preferred label: semantic of first order logic @en
type: Concept
related: قوت زبان

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

جبر رابطه‌ای
preferred label: relational algebra @en
type: Concept
related: قوت زبان

اصلی
preferred label: cardinal @en
type: Concept
related: قوت زبان

زیرساخت هم پایان
preferred label: cofinal substructure @en
type: Concept
related: قوت زبان

ویژگی شاهد
preferred label: witness property @en
type: Concept
related: قوت زبان

بسط ساختار
preferred label: expansion of structure @en
type: Concept
related: قوت زبان

نظریه رده‌بندی
preferred label: classification theory @en
type: Concept
related: قوت زبان

معنا شناسی منطق مرتبه دوم
preferred label: semantic of second order logic @en
type: Concept
related: قوت زبان

تناقض
preferred label: contradiction @en
type: Concept
related: قوت زبان