Task: Translation
Input (Tagalog): Tagalog sentence: 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.
Output (English): It states that if a theory within first-order predicate calculus has a model then it has a countable model.