Dedekindin leikkaukset 

Dedekindin leikkausosan mukaan reaaliluku on rationaalilukujen joukon osajoukko, mutta rationaaliluku on eräänlainen reaaliluku, mikä tarkoittaa, että kaikki rationaaliluvut sisältävät itsensä, mikä ZF:n mukaan on mahdotonta.