تایپ منظم
regular type
درستی
validity
درست
valid
truth value
ارزش درستی
ارزش در مدل
truth in model
saturated model
مدل اشباع
satisfaction
ارضا شدن
first order structures
ساختارهای مرتبه‌اول