Bir çürütme yazarken "kanıt yok" ile "olası değil"i karıştırmak asıl hata: küme teorisinde bağımsızlık kanıtı almış bir önerme için bile insanlar hâlâ "belki bir gün ispat çıkar" diye bekliyor, oysa Gödel-Cohen sonucundan sonra ZFC içinde o soruyu sormanın anlamı değişir.