6˙1215
Nun wird klar warum man oft fühlte, daß || als wären die „logischen Wahrheiten” von uns zu „fordern”: wir können sie nämlich insofern fordern als wir eine genügende Notation fordern können.