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.
Scheffer hat also ein symbolisches System gefunden das die
nötige Multiplizität
hatte || hat.
Ist es ein Suchen,
wenn ich das System Scheffers 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!