cardinality of language
preferred label: قوت زبان @fa
type: Concept
related: witness property

Henkin constuction
preferred label: ساختار هنکین @fa
type: Concept
narrower: witness property

skolem hull
preferred label: غلاف اسکولم @fa
type: Concept
related: witness property

language
preferred label: زبان @fa
type: Concept
related: witness property

formula
preferred label: فرمول @fa
type: Concept
related: witness property

witness property
type: Concept
related: skolem function
related: cardinality of language
related: skolem hull
related: language
related: formula
preferred label: ویژگی شاهد @fa
broader: Henkin constuction

skolem function
preferred label: تابع اسکولم @fa
type: Concept
related: witness property