Az eldönthetetlen állítások úgy ágyazódnak a matematika testébe, akár egy csülökbe a porcogó; nem vághatók ki, csak ha az egész csülköt széttrancsírozzuk.