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