TOPICS
Search

Generalized Completeness Theorem


The proposition that every consistent generalized theory has a model. The theorem is true if the axiom of choice is assumed.


See also

Axiom of Choice

Explore with Wolfram|Alpha

References

Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, p. 121, 1997.

Referenced on Wolfram|Alpha

Generalized Completeness Theorem

Cite this as:

Weisstein, Eric W. "Generalized Completeness Theorem." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/GeneralizedCompletenessTheorem.html

Subject classifications