Uniqueness of $\mathbb{R}$
Yes. The relevant property is not, however, that $\mathbb{Q}$ is a subfield, but rather the fact of the supremum property (or any one of any number of other statements equivalent to Dedekind completeness). $\mathbb{R}$ is the only ordered field (up to isomorphism) with this property.