skolem hull
غلاف اسکولم
language
زبان
skolem theory
نظریه اسکولم
model
مدل
skolem function
تابع اسکولم
skolemisation of a model
اسکولمی‌کردن مدل