generalized completeness theorem

Input interpretation

generalized completeness theorem

Definition

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

Related term

axiom of choice