"A matematika nem a jelsorozatok tudománya, hanem a precíz fogalmaké és érveléseké."

De bármilyen precízen fogalmazol és érvelsz, ha visszafejted, akkor mindig oda lyukadsz ki, hogy papírra írsz egy jelsorozatot. (Persze lehet idealizálni valamilyen felfogható jelsorozattal.)

És amikor kilyukadunk ott, hogy papírra írt jelsorozat, akkor azt még meg kell dobni egy papírra írt (vagy szóban elmondott) metanyelvvel, ahol intuitíve használod pl.: a "ha...akkor" szókapcsolatot. Én még mindig nem vagyok benne biztos, hogy a matematikát körkörösen építjük fel, és nem önhivatkozóan, de legalább a halmazelmélet-logika körbehivatkozásának feloldását nagyjából értem.

Persze ez a matematika általam ismert sztenderd felépítésére vonatkozik, gondolom itt nincsenek megrögzött intuicionisták meg platonisták. Ha vannak, szívesen meghallgatom, hogy ők hogy építik fel a matematikát.