Wer entdeckt,
daß ein Satz p aus einem von der Form
q
⊃ p & 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
Ka
lkül.)