/  
Das sieht man sehr deutlich wenn man sich den Einspruch erhoben denkt
p ∣ p sei gar nicht das was ~p sagt. Die Antwort ist natürlich daß es sich nur darum handelt daß das System p ∣ q etc die nötige Multiplizität hat. Scheffers hat also ein symbolisches System gefunden das die nötige Multiplizität hatte.
    Ist es ein Suchen, wenn ich das System Scheffers nicht kenne & sage ich möchte ein System mit nur einer logischen Constanten construieren. Nein!
   Die Systeme sind ja gar nicht in einem Raum so daß ich sagen könnte: Es gibt [s|S]ysteme mit 3, & 2 logischen Constanten & warum soll nun suche ich die Zahl der Constanten in derselben Weise zu vermindern. Es gibt hier keine selbe Weise!