Rather than only for the square root, you could prove this for .
A sketch of a possible proof: you use the completeness of the real numbers (axiom), i.e. you use the fact that every bounded set has a supremum (and, as follows, an infimum). You can then "sandwhich" and from which follows that . You prove the uniqueness by contradiction, pick two and show they have to be the same.