it states that if a theory within first-order predicate calculus has a model then it has a countable model.
Can you repeat this sentence, but capitalize it correctly?
It states that if a theory within first-order predicate calculus has a model then it has a countable model.