“[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.”