نظریه مجموعه‌ها
set theory
classical first order logic
منطق کلاسیک مرتبه اول
relative constructibility
ساخت‌پذیری نسبی
Mostowski collapsing theorem
قضیه تلاشی موستوسکی
model theory of set theory
نظریه مدل نظریه مجموعه‌ها
reflection principle (set theory)
اصل بازتاب (نظریه مجموعه)
Jensen covering theorem
قضیه پوشش ینسن
constructible set
مجموعه ساخت‌پذیر
forcing method
روش اظهار
definable set
مجموعه تعریف‌پذیر
Godel incompleteness theorem
قضیه ناتمامیت گودل
representation lemma
لم نمایش
نظریه مدل
model theory
Stone representation theorem
قضیه نمایش استون
model
مدل
Scott theorem
قضیه اسکات
axioms of set theory
اصول موضوع نظریه مجموعه‌ها
weak compactness theorem
قضیه فشردگی ضعیف