“Cantor's diagonalization idea has proven to be an extremely fruitful proof method, forming the abstract basis for major results in mathematical logic such as Russell's paradox and the Halting problem.”