Głōwnōm linijōm krytyki formalizmu je to, co istne idyje matymatyczne, kerymi zajmujōm sie matematycy, sōm daleke ôd spōmnianych powyżyj grōw manipulacyjnych.