443
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 neuen Kalkül.)