Model matematika

adalah benar untuk y € R, sebab kita bisa mendapatkan akar 2 sebagai solusinya. Tetapi pernyataan yg sama bernilai salah apabila y diharuskan bilangan rasional.