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