Definition.com
The Square root of two (n.) is the procedure for approaching 2 ever closer by rationals, and that procedure is the real number.
1 definition
The Square root of two (n.) is the procedure for approaching 2 ever closer by rationals, and that procedure is the real number.