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

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

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

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

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

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

قوت زبان
type: Concept
broader: زبان
preferred label: cardinality of language @en
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
narrower: قوت زبان
preferred label: language @en

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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