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. Sheffer hat also ein symbolisches System gefunden das die nötige Multiplizität hatte || hat.
     Ist es ein Suchen, wenn ich das System Sheffers nicht kenne & sage ich möchte ein System mit nur einer logischen Konstanten konstruieren. Nein!
     Die Systeme sind ja gar nicht in einem Raum so daß ich sagen könnte: Es gibt Systeme mit 3 & 2 logischen Konstanten nun suche ich die Zahl der Konstanten in derselben Weise zu vermindern. Es gibt hier keine selbe Weise!