Logic based on inclusion and abstraction. (Q2603352)

Es wird die interessante Tatsache gezeigt, daß eine Logik im Umfange der Logik der Principia Mathematica außer den Variablen nur folgende Grundbegriffe benötigt: 1) das Enthaltensein einer Klasse in einer anderen, 2) die Abstraktion. Der letzte Begriff bezeichnet dabei den Übergang von einer Aussagenfunktion \(\mathfrak A(x)\) zu der Klasse aller Dinge \(x\) mit der Eigenschaft \(\mathfrak A(x)\). Alle anderen logischen Begriffe werden definitorisch auf diese Grundbegriffe zurückgeführt. Ein zugehöriges Axiomensystem, das nur zwei Axiomenschemata und drei Ableitungsregeln enthält, wird angegeben.