Wer entdeckt, daß ein Satz p aus einem von der Form qp & q folgt, der konstruiert ein neues Zeichen, das Zeichen dieser Regel. (Ich nehme dabei an, ein Kalkül mit p, q, , & , sei schon früher gebraucht worden, und nun träte diese Regel hinzu und schaffe damit einen
444
neuen Kalkül.)