Die Strenge des Beweises: Symbolische Darstellung und Integrität der logischen Kette