“Non necessariamente chi conosce una proposizionematematica conosce qualcosa.”
“È più facile dimostrare qualcosa quando sai già che è vero.”
“Come dicono i matematici di tutto il mondo, ogni cosa è impossibile o banale.”
“Il matematico è qualcuno che vede la possibilità di farematematica.”
“Non c'è ragione per cui ogni enunciato semplice, breve e vero debba avere una dimostrazione altrettanto semplice e breve.”
“[Per i formalisti] 2+2=4 non è un enunciato da interpretare come se mettessi due pecore in un recinto con altre due pecore ottenendo quattro pecore. È piuttosto il risultato di un gioco che usa i simboli 2, 4, +, e = e che va giocato seguendo un rigido elenco di regole esplicite.”