Modern proof theory treats proofs as inductively defined data structures.
A moderna teoría da proba trata as demostracións como estruturas de datos definidas indutivamente.