Es ist ein anderer Kalkül, zu dem unsere Allgemeinheitsbezeichnung gehört und ein anderer, in dem es jene Disjunktion gibt. Wenn wir sagen, das Kreuz liegt zwischen diesen Strichen, so haben wir keine Disjunktion bereit, die den Platz des || dieses allgemeinen Satzes nehmen könnte.