Se definiamo √2 come il numero che ha il quadrato che fa 2 ci si pone il problema di garantire che un tale numero esista, e che sia unico. Risolvi tali questioni.