De bármilyen precízen fogalmazol és érvelsz, ha visszafejted, akkor mindig oda lyukadsz ki, hogy papírra írsz egy jelsorozatot.

Igen, és ide lyukadnak ki a költők, zeneszerzők, fizikusok, de még a filozófusok is. Ez az emberi kommunikáció egy formája.

A formalista hozzáállással nem tudod megmagyarázni, hogy miért pont azokat az axiómákat használjuk vagy azokat a kérdéseket tartjuk fontosnak, amiket. Ugyanígy nem tudod megmagyarázni, hogy egy érvelést vagy tételt miért tartunk elegánsnak vagy szépnek. A jelsorozatok fontosak a matematika művelésében, de nem ez a dolog lényege. A dolog lényege a gondolat és érzés, az emberi tapasztalat, ami a jelsorozat mögött áll.

Nagyszerű tételek születtek azelőtt is, hogy a formalizálás magas szintű igénye megszületett volna, egyszerűen csak nagyszerű matematikusok kellettek hozzá.