Pa mozda se ne secaju svi iz prve kako glasi data aksioma.
Elem, da se mi vratimo na biznis. Na primer, zasto je [inlmath]z[/inlmath] pozitivno? Pa, primeti na primer da [inlmath]0\in A[/inlmath], a kako je [inlmath]x\le z[/inlmath] za svako [inlmath]x\in A[/inlmath], to je i [inlmath]0\le z[/inlmath]. Isto tako, za dokaz da ne postoji racionalan broj [inlmath]z[/inlmath] takav da vazi [inlmath]z^2=2[/inlmath] pogledaj npr.
ovu temu. Kod tebe konkretno, i sam si rekao, vazi [inlmath]2\mid p[/inlmath], pa postoji [inlmath]r\in\mathbb{Z}[/inlmath] takvo da vazi [inlmath]p=2r[/inlmath]. Odatle, vracanjem u [inlmath]p^2=2q^2[/inlmath] dobijamo [inlmath]2r^2=q^2[/inlmath], itd.
I tako dalje, i tako dalje, odoh ja na spavanje, a ti jos malo promisli o svemu ovome (kao i ostalim delovima koji te bune).