# Proof Theory **Domain:** Mathematical Logic **Doc Type:** Field **Maturity:** Developed **Related:** [[Gödel's Incompleteness Theorems]], [[Hilbert Program]], [[Formal Systems]], [[wiki/Bauhaus Architects of AI|Bauhaus Architects of AI]] ## Definition Proof theory studies formal proofs as mathematical objects, including their structure, strength, normalization and consistency. ## Bauhaus Architects Context It supplies the disciplinary setting for incompleteness, relative consistency and the formal analysis of derivation. ## Backlinks - [[wiki/Bauhaus Architects of AI|Bauhaus Architects of AI]] - [[articles/Bauhaus Architects of AI|Bauhaus Architects of AI]]