On Nicod's reduction in the number of primitives of logic. (Q562842)

\textit{Nicod} hat (Proceedings Cambridge 19 (1917), 32-41) für die \textit{Sheffer}sche Strichfunktion im Aussagenkalkül ein Axiomensystem angegeben, das die sechs primitiven Aussagen der ``Principia Mathematica'' aus drei Postulaten gewinnen läßt, von denen übrigens nur eines eine primitive Aussage ist. Verf. zeigt, daß die \textit{Nicod}schen Postulate voneinander unabhängig sind, und daß sich umgekehrt die \textit{Nicod}schen Postulate aus den Principia gewinnen lassen, falls sie in der gewöhnlichen mathematischen Sprache geschrieben werden.