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 !