Welcher Art war Scheffers Entdeckung, daß p..q und non-p sich durch pq ausdrücken lassen? – Man hatte keine Methode nach pq zu suchen und wenn man heute eine fände, so könnte das keinen Unterschied machen.
     Was war es, was wir vor der Entdeckung nicht wußten? Es war nichts, was wir nicht wußten, sondern etwas, was wir nicht kannten.
     Das sieht man sehr deutlich, wenn man sich den Einspruch erhoben denkt, pp sei gar nicht das, was non-p sagt. Die Antwort ist natürlich, daß es sich nur darum handelt, daß das System pq etc. die nötige Multiplizität hat. Scheffer hat also ein symbolisches System gefunden, das die nötige Multiplizität hat.
     Ist es ein Suchen, wenn ich das System Scheffers nicht kenne und sage, ich möchte ein System mit nur einer logischen Konstante konstruieren. Nein!
     Die Systeme sind ja gar nicht in einem Raum, so daß ich sagen könnte: Es gibt Systeme mit 3 und 2 logischen Konstanten und nun suche ich die Zahl der Konstanten in derselben || der selben Weise zu vermindern. Es gibt hier keine selbe Weise.