نظریه مجموعه‌ها
preferred label: set theory @en
type: Concept
narrower: نظریه مدل نظریه مجموعه‌ها

منطق کلاسیک مرتبه اول
preferred label: classical first order logic @en
type: Concept
related: نظریه مدل نظریه مجموعه‌ها

ساخت‌پذیری نسبی
preferred label: relative constructibility @en
type: Concept
broader: نظریه مدل نظریه مجموعه‌ها

قضیه تلاشی موستوسکی
preferred label: Mostowski collapsing theorem @en
type: Concept
broader: نظریه مدل نظریه مجموعه‌ها

نظریه مدل نظریه مجموعه‌ها
narrower: قضیه تلاشی موستوسکی
narrower: روش اظهار
narrower: قضیه پوشش ینسن
narrower: اصل بازتاب (نظریه مجموعه)
narrower: مجموعه تعریف‌پذیر
narrower: قضیه اسکات
narrower: مجموعه ساخت‌پذیر
narrower: لم نمایش
narrower: ساخت‌پذیری نسبی
narrower: قضیه نمایش استون
narrower: قضیه فشردگی ضعیف
related: اصول موضوع نظریه مجموعه‌ها
related: قضیه ناتمامیت گودل
related: نظریه مدل
related: منطق کلاسیک مرتبه اول
related: مدل
preferred label: model theory of set theory @en
type: Concept
broader: نظریه مجموعه‌ها

اصل بازتاب (نظریه مجموعه)
preferred label: reflection principle (set theory) @en
type: Concept
broader: نظریه مدل نظریه مجموعه‌ها

قضیه پوشش ینسن
preferred label: Jensen covering theorem @en
type: Concept
broader: نظریه مدل نظریه مجموعه‌ها

مجموعه ساخت‌پذیر
preferred label: constructible set @en
type: Concept
broader: نظریه مدل نظریه مجموعه‌ها

روش اظهار
preferred label: forcing method @en
type: Concept
broader: نظریه مدل نظریه مجموعه‌ها

مجموعه تعریف‌پذیر
preferred label: definable set @en
type: Concept
broader: نظریه مدل نظریه مجموعه‌ها

قضیه ناتمامیت گودل
preferred label: Godel incompleteness theorem @en
type: Concept
related: نظریه مدل نظریه مجموعه‌ها

لم نمایش
preferred label: representation lemma @en
type: Concept
broader: نظریه مدل نظریه مجموعه‌ها

نظریه مدل
preferred label: model theory @en
type: Concept
related: نظریه مدل نظریه مجموعه‌ها

قضیه نمایش استون
preferred label: Stone representation theorem @en
type: Concept
broader: نظریه مدل نظریه مجموعه‌ها

مدل
preferred label: model @en
type: Concept
related: نظریه مدل نظریه مجموعه‌ها

قضیه اسکات
preferred label: Scott theorem @en
type: Concept
broader: نظریه مدل نظریه مجموعه‌ها

اصول موضوع نظریه مجموعه‌ها
preferred label: axioms of set theory @en
type: Concept
related: نظریه مدل نظریه مجموعه‌ها

قضیه فشردگی ضعیف
preferred label: weak compactness theorem @en
type: Concept
broader: نظریه مدل نظریه مجموعه‌ها