√2=q/p(p>0)と既約分数と表されたと仮定します。
2p^2=q^2となるのでqは2を因数にもちます。q=2rと書くとp^2=2r^2。
pも因数2を持つのでp,qは既約の仮定に反する。
よって√2は無理数。
>>1によると有理数も存在しない。0も1も存在しません（笑）