Exercise 2 (b) on page 100 of Analysis I by Amann and Escher asks me to show that $\mathbb Q$ is the smallest subfield of $\mathbb R$.
Wolfram MathWorld gives the following reasoning:
I don't know what a division algebra is, so I have the following alternative proof.
Assume we removed some rational $a/b$. Because the equation $c/d + x = a/b$ has a unique solution $x \in \mathbb Q$ for any $c/d \in \mathbb Q$ (proven on page 53), in order to maintain the additive group axioms we would have to remove $c/d$ and $x$. But since the equation holds for any $c/d \in \mathbb Q$, we would have to remove all elements of $\mathbb Q$ and therefore would end up with the empty set, which is not a field.
Is this valid? I appreciate any feedback.