one-sorted structure
ساختار یک-گونه‌ای
compactness theorem
قضیه فشردگی
نظریه مدل
model theory
classical logic
منطق کلاسیک
classification of first order strucuters
رده‌بندی ساختارهای مرتبه‌اول
classical first order logic
منطق کلاسیک مرتبه اول
model theory of set theory
نظریه مدل نظریه مجموعه‌ها
ساختار
structure