تكون صيغة أي لغة من المرتبة الأولى ω-valid iff كانت صحيحة لكل تفسير للغة وكان لها مجال مع عدد غير محدود من الأرقام.
===ω-Validity===A formula of a first order language is ω-valid if and only if it is true for every interpretation of the language and it has a domain with an infinite number of members.