eğer "kök 5" rasyonel sayı olsaydı a/b şeklinde yazılabilirdi demeiş ve "kök 5"in rasyonel sayı olmadığını ispatlamış.
---ilk başta kök 5'i rasyonel kabul edip a/b'ye eşitlemiş.
--- 2 tarafın da karesini almış.
---2 tarafı da b² ile çarpmış.
en son adım da ise a ve b eğer lowest term olsaydı tek sayıda değil çift sayıda asal çarpan olması gerekirdi demiş. Yani bu bir çelişkidir.

Olduğunu kabul ederek, çelişki yaratıp ispatlama yöntemi(türkçe adını bilmiyorum)

Üniv matematik okuyan arkadaşlar iyi bilir. 1. Sınıf soyut konularına dahildir kendisi. Bkz: İspatlama yöntemleri.