Assertion: mathematician's language | /r/HasProperty | countable
Facets:
Source sentences:
text: Precisely, for any consistent first-order theory it gives an "explicit construction" of a model described by the theory; this model will be countable if the language of the theory is countable.