Las demostraciones puramente formales, escritas en lenguaje simbólico en lugar de lenguaje natural, se consideran en teoría de la demostración.