تساوی
type: Concept
preferred label: equality @en
related: زبان

تعمیم
type: Concept
preferred label: generalization @en
related: زبان

گزاره دو شرطی
type: Concept
preferred label: biconditional statement @en
related: زبان

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

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

تالی
type: Concept
preferred label: consequent @en
related: زبان

تصدیق
type: Concept
preferred label: assertion @en
related: زبان

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

مبهم
type: Concept
preferred label: ambiguous @en
related: زبان

نادرست
type: Concept
preferred label: false @en
related: زبان

عملیات منطقی
type: Concept
preferred label: logical operations @en
related: زبان

قانون
type: Concept
preferred label: law @en
related: زبان

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

لم
type: Concept
preferred label: lemma @en
related: زبان

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

نامعادله
type: Concept
preferred label: inequality @en
related: زبان

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

ساخت‌گرایی روسی
type: Concept
preferred label: russian constactivism @en
related: زبان

متناهی‌گرایی
type: Concept
preferred label: finitism @en
related: زبان

ریاضیات ساختی
type: Concept
preferred label: constructive mathematics @en
related: زبان

مدل‌های حساب
type: Concept
preferred label: models of arithmetic @en
related: زبان

شماره‌گذاری گودل
type: Concept
preferred label: Godel numbering @en
related: زبان

زبان مرتبه اول
type: Concept
broader: زبان
preferred label: first order language @en

سور
type: Concept
broader: زبان
preferred label: quantifier @en

فرازبان
type: Concept
broader: زبان
preferred label: meta-Language @en

فرمول
type: Concept
broader: زبان
preferred label: formula @en

قوت زبان
type: Concept
broader: زبان
preferred label: cardinality of language @en

گونه زبان
type: Concept
broader: زبان
preferred label: sort of language @en

نشاندن (منطق)
type: Concept
broader: زبان
preferred label: embedding (logic) @en

نظریه
type: Concept
broader: زبان
preferred label: theory @en

زبان
type: Concept
broader: منطق عمومی
narrower: نشاندن (منطق)
narrower: نظریه
narrower: فرمول
narrower: گونه زبان
narrower: سور
narrower: زبان مرتبه اول
narrower: فرازبان
narrower: قوت زبان
preferred label: 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: مدل‌های حساب
related: پیچیدگی برهان
related: تابع اسکولم
related: تصدیق
related: نمودار اتمی
related: نامعادله
related: ساختارهای o-مینیمال
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: Godel incompleteness theorem @en
related: زبان

مسئله تصمیم
type: Concept
preferred label: decision problem @en
related: زبان

ارزش در مدل
type: Concept
preferred label: truth in model @en
related: زبان

نتیجه توتولوژیک
type: Concept
preferred label: tautological implication @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: symbolic logic @en
related: زبان

منطق عمومی
type: Concept
narrower: زبان
preferred label: general logic @en

پیچیدگی برهان
type: Concept
preferred label: complexity of proof @en
related: زبان

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

دستگاه اصل موضوعی
type: Concept
preferred label: axiomatic system @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: definable class @en
related: زبان

مجموعه مرتب
type: Concept
preferred label: ordered set @en
related: زبان

زبان اظهار
type: Concept
preferred label: forcing language @en
related: زبان

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

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

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

ساختارهای o-مینیمال
type: Concept
preferred label: o-minimal structers @en
related: زبان

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

توسیع ساختار
type: Concept
preferred label: extension of structure @en
related: زبان

ساختار موضعا متناهی
type: Concept
preferred label: locally finite structure @en
related: زبان

ساختارهای متناهی‌مولد
type: Concept
preferred label: finitely-generated structure @en
related: زبان

عبارت) جمله)
type: Concept
preferred label: term @en
related: زبان

گونه ساختار
type: Concept
preferred label: sort of structure @en
related: زبان

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

نظریه اسکولم
type: Concept
preferred label: skolem theory @en
related: زبان

اسکولمی‌کردن مدل
type: Concept
preferred label: skolemisation of a model @en
related: زبان

زنجیر مدل‌ها
type: Concept
preferred label: chain of models @en
related: زبان

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

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

مدل نااستاندارد
type: Concept
preferred label: non-standard model @en
related: زبان

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

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

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

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

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

رسته‌ای ناشمارا
type: Concept
preferred label: uncountably categorical @en
related: زبان

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

حذف فراموهومات
type: Concept
preferred label: elimination of hyperimaginaries @en
related: زبان

حذف موهومات
type: Concept
preferred label: elimination of imaginaries @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: زبان