آنالیز نااستاندارد
non-standard analysis
Helly theorem
قضیه هلی
زیرمجموعه
subset
Stone space
فضای استون
compactness theorem
قضیه فشردگی
اگر S مجموعه ای از گزاره ها باشد در زبان مرتبه اول L مدل دارد اگر و تنها اگر هر زیرمجموعه متناهی از آن مدل داشته باشد.
model
مدل
Lowenheim-Skolem theorem
قضیه لوون هایم-اسکولم
weak compactness theorem
قضیه فشردگی ضعیف
classical first order logic
منطق کلاسیک مرتبه اول