شرط
condition
paradox
پارادکس
hypothesis
فرض
conjecture
حدس
sequent
نتیجه
جبر رابطه‌ای
relational algebra
قوت زبان
cardinality of language
language
زبان
Godel incompleteness theorem
قضیه ناتمامیت گودل
semantic of first order logic
معنا شناسی منطق مرتبه اول
معنا شناسی منطق مرتبه دوم
semantic of second order logic
استنتاج
deduction
تناقض
contradiction
counterexample
مثال نقض
نقیض
negation
اصلی
cardinal
نظریه مجموعه‌ها
set theory
closed substructure
زیرساخت بسته
elementary substructure
زیرساخت مقدماتی
cofinal substructure
زیرساخت هم پایان
expansion of structure
بسط ساختار
skolem function
تابع اسکولم
Vaught test
آزمون وات
witness property
ویژگی شاهد
Tarski-Vaught theorem
قضیه تارسکی-وات
مدل همگن
homogeneous model
model complete theory
نظریه مدل کامل
atomic diagram
نمودار اتمی
categoricity theorem
قضیه جازمیت
forking
فورکینگ
definable type
تایپ تعریف‌پذیر
classification of first order strucuters
رده‌بندی ساختارهای مرتبه‌اول
classification theory
نظریه رده‌بندی