recursive saturation
اشباع بازگشتی
تایپ
type
saturated model
مدل اشباع
محاسبه‌پذیری
computability
توابع بازگشتی
recursive functions