It states that if a theory within first-order predicate calculus has a model then it has a countable model.
Ito ng estado na kung ang isang teorya sa loob ng unang-order na totoo calculus ay isang modelo at pagkatapos ay ito ay isang modelo ng countable.