n. (Logic) the theorem that a formula is valid in a theory T if and only if it is valid in some finitely axiomatized part of T. Consequently, by the completeness theorem, a theory has a model if every finitely axiomatized part has. Compare Löwenheim-Skolem theorem.