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.