Gödel's completeness theorem
= Gödel's completeness theorem
{c}
{wiki}
= Godel completeness theorem
{c}
{synonym}
For first-order logic, every sentence true in every model of a theory is derivable from that theory. Equivalently, every consistent theory has a model.