A few remarks on the syntax of axiom-systems. (Q2610724)

Die Bemerkungen, die sich an \textit{Carnap}s ``Syntax'' anschließen, enthalten einen Hinweis auf die Möglichkeit, innerhalb beliebiger Theorien (nicht nur solcher, die die Arithmetik enthalten) durch Hinzufügung von neuen Begriffen (wie ``\(p\) bezeichnet p'') Teile ihrer Syntax darzustellen, ferner einiges über die ``Einfachheit'' von Axiomensystemen. Die Einfachheit in bezug auf die Grundaussagen wird durch deren ``Unzerlegbarkeit'' erklärt; in bezug auf die Grundbegriffe bemerkt Verf., daß man jedes Axiomensystem durch ein äquivalentes mit nur einem Grundbegriff ersetzen kann.