completeness theorem
or
Gödel's completeness theorem,
n.
the result that a theory is
consistent
if and only if it has a
model
.
