Is there a countable model?

107 Views Asked by At

If we consider $\mathcal{L}=\{R\}$ a binary relation and a consistant theory $T$ can I affirm that there exists a countable model ?

It seems to be a consequence of Löwenhein-Skolem's result with $\mathcal{L}$ which is countable and $T$ consistant.

Thanks in advance !