Van. De nincs benne olyan bizonyítás, hogy a 2 négyzetgyöke racionális szám.