Verifique o critério de Tarski utilizando que, se $r$ é real e $q_1,...,q_n$ são racionais, então existe um automorfismo $h$ de $(\mathbb{R},<)$ tal que $h(r)$ é racional e $h(q_i)=q_i$ para todo $i \leq n$.