Die Strenge der Argumentation: Symbolische Darstellung und Vollständigkeit der logischen Kette