The proposition that every consistent generalized theory has a model. The theorem is true if the axiom of choice is assumed.
Generalized Completeness Theorem
See also
Axiom of ChoiceExplore with Wolfram|Alpha
References
Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, p. 121, 1997.Referenced on Wolfram|Alpha
Generalized Completeness TheoremCite this as:
Weisstein, Eric W. "Generalized Completeness Theorem." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/GeneralizedCompletenessTheorem.html