Perhaps sometimes in their sleepless nights they thought with horror of the moment when some wicked metamathematician would find a positive solution, and design a machine which would enable us to solve any mathematical problem in a purely mechanical way....
Marahil minsan sa kanilang walang tulog gabi-iisip nila sa takot ng mga sandali kapag ilang buktot metamathematician ay makahanap ng isang positibong solusyon, at disenyo ng isang machine na kung saan ay paganahin ang sa amin sa matematika na malutas ang anumang mga problema sa isang payak na paraan ng makina....