first order language
زبان مرتبه اول
first order theory
نظریه مرتبه اول
compactness theorem
قضیه فشردگی
first order logic
منطق مرتبه اول
reflection principle (set theory)
اصل بازتاب (نظریه مجموعه)
downward Lowenheim-Skolem theorem
قضیه کاهشی لوونهایم-اسکولم
upward Lowenheim-Skolem theorem
قضیه لوون هایم-اسکولم افزایشی
قضیه لوون هایم-اسکولم
Lowenheim-Skolem theorem
model
مدل
reflection principle
اصل بازتاب