I am trying to evaluate such a statement:
$$\forall r \in \mathbb{R} \setminus \mathbb{Q}: \ ({r^{2}} \notin \mathbb{Q} \implies \forall a \in \mathbb{Q} \ \forall b \in \mathbb{Q}: {r^{2}} \neq a + br)$$
but it seems to exceed my skills. Could you please help?
The following is a counterexample:
Set $r = \sqrt{2} +1 \in \mathbb{I}$.
Then $r^{2} = (\sqrt{2} +1)^2=1+2\sqrt{2}+2=1+2(\sqrt{2}+1) = 1+2r.$