Ein tiefgreifendes Logikwerk, das mit präziser Terminologie die Struktur mathematischer Argumente entschlüsselt und zeigt, wie formale Systeme zur Wahrheit führen.