ارضا شدن
satisfaction
اصلی
cardinal
Stone space
فضای استون
cardinal arithmetic
حساب اعداد اصلی
recursive saturation
اشباع بازگشتی
تایپ
type
monster model
مدل غول‌پیکر
model
مدل
categoricity
جازمیت
saturated model
مدل اشباع