Source: wikibot/craig-s-theorem
= Craig's theorem
{wiki=Craig's_theorem}
Craig's theorem is a result in the field of mathematical logic, particularly in model theory. It is named after William Craig, who formulated it in the context of first-order logic. The theorem states that if a set of first-order statements (a theory) has a model, then it has a countable model.