Ein neues Axiom des Aussagenkalküls in der Symbolik von Sheffer. (Q562843)

Verf. gibt ein mit dem \textit{Sheffer}schen. Symbol gebildetes Axiom an, das mit dem \textit{Nicod}sehen Axiom äquivalent ist, das aber im Gegensatz zu diesem nur vier verschiedene Variablen enthält, und in dem keine wahre Aussage als Bestandteil vorkommt. Ferner stellt Verf. Axiomensysteme auf für die Menge aller wahren, nur mit der Implikation und ebenso nur mit der Äquivalenz gebildeten Aussagen.