model completeness
مدل تمامیت
constructible model
مدل ساخت‌پذیر