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