“Per alcuni sistemi logici, è stato dimostrato che non esiste alcuna macchina in grado di distinguere le formule dimostrabili del sistema da quelle non dimostrabili. Così se una macchina è costruita con questo obiettivo deve, in certi casi, fallire. D'altra parte se un matematico fosse messo di fronte a un tale problema, egli si guarderebbe intorno e cercherebbe nuovi metodi di prova, per giungere alla fine a una decisione circa alla formula data.”