Und die Sätze müssen eine Möglichkeit sein die Beweise zu katalogisieren [Ursell] Denn wie wüßteen manwir sonst welchen Satz wir den von dem Beweis bewiesen nennen sollten?