==صحة n==تكون الصيغة أ في لغة من المرتبة الأولى formula_1 n-valid iff كانت صحيحة لكل تفسير لـ formula_1 له مجال يبلغ n رقمًا بالضبط.
==n-Validity==A formula A of a first order language formula_1 is n-valid iff it is true for every interpretation of formula_1 that has a domain of exactly n members.