Rational numbers/Square root of 2/Irrational/Exercise

Prove that in ${}\mathbb {Q}$ there is no element ${}x$ such that ${}x^{2}=2$.

Create a solution