“Non esiste la 'dimostrazione in generale'. La parola 'dimostrazione' cambia significato proprio come la parola 'scacchi'. Con la parola 'scacchi' possiamo intendere il gioco che è definito dalle regole attuali oppure il gioco che è stato giocato nei secoli passati con regole sempre diverse.”