Purely formal proofs, written in symbolic language instead of natural language, are considered in proof theory.
As probas formais, escritas en linguaxe simbólica e non en natural, trátanse na teoría da proba.