Godel completeness theorem
= Godel completeness theorem
{c}
{wiki=Gödel's_completeness_theorem}
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.