Esto último se explica por el hecho de que, en matemáticas, las declaraciones se formulan con la ayuda de ciertos signos y actúan de acuerdo con ciertas reglas, y el chequeo, que es posible en cada etapa, requiere "solo papel y tinta" .