تساوی
equality
تعمیم
generalization
گزاره دو شرطی
biconditional statement
شرط
condition
paradox
پارادکس
consequent
تالی
assertion
تصدیق
hypothesis
فرض
ambiguous
مبهم
نادرست
false
logical operations
عملیات منطقی
قانون
law
conjecture
حدس
lemma
sequent
نتیجه
نامعادله
inequality
جبر رابطه‌ای
relational algebra
russian constactivism
ساخت‌گرایی روسی
متناهی‌گرایی
finitism
constructive mathematics
ریاضیات ساختی
مدل‌های حساب
models of arithmetic
Godel numbering
شماره‌گذاری گودل
first order language
زبان مرتبه اول
quantifier
سور
meta-Language
فرازبان
فرمول
formula
cardinality of language
قوت زبان
sort of language
گونه زبان
embedding (logic)
نشاندن (منطق)
theory
نظریه
زبان
language
Godel incompleteness theorem
قضیه ناتمامیت گودل
مسئله تصمیم
decision problem
ارزش در مدل
truth in model
tautological implication
نتیجه توتولوژیک
semantic of first order logic
معنا شناسی منطق مرتبه اول
معنا شناسی منطق مرتبه دوم
semantic of second order logic
symbolic logic
منطق نمادی
منطق عمومی
general logic
complexity of proof
پیچیدگی برهان
استنتاج
deduction
دستگاه اصل موضوعی
axiomatic system
تناقض
contradiction
counterexample
مثال نقض
نقیض
negation
definable class
رده تعریف‌پذیر
ordered set
مجموعه مرتب
forcing language
زبان اظهار
closed substructure
زیرساخت بسته
elementary substructure
زیرساخت مقدماتی
substructure
زیرساخت
ساختارهای o-مینیمال
o-minimal structers
expansion of structure
بسط ساختار
extension of structure
توسیع ساختار
locally finite structure
ساختار موضعا متناهی
finitely-generated structure
ساختارهای متناهی‌مولد
عبارت) جمله)
term
sort of structure
گونه ساختار
skolem function
تابع اسکولم
skolem theory
نظریه اسکولم
skolemisation of a model
اسکولمی‌کردن مدل
chain of models
زنجیر مدل‌ها
witness property
ویژگی شاهد
Tarski-Vaught theorem
قضیه تارسکی-وات
non-standard model
مدل نااستاندارد
مدل همگن
homogeneous model
model completion of theory
مدل تکمیل‌شده نظریه
model complete theory
نظریه مدل کامل
elementary diagram
نمودار مقدماتی
atomic diagram
نمودار اتمی
uncountably categorical
رسته‌ای ناشمارا
categoricity theorem
قضیه جازمیت
elimination of hyperimaginaries
حذف فراموهومات
elimination of imaginaries
حذف موهومات
forking
فورکینگ
definable type
تایپ تعریف‌پذیر
classification of first order strucuters
رده‌بندی ساختارهای مرتبه‌اول
classification theory
نظریه رده‌بندی