cardinality of language
قوت زبان
Henkin constuction
ساختار هنکین
skolem hull
غلاف اسکولم
language
زبان
فرمول
formula
skolem function
تابع اسکولم
witness property
ویژگی شاهد