La teoría moderna de demostraciones trata a las demostraciones como estructuras de datos definidas inductivamente.