Das Buch entwickelt eine Sprache der höheren Quantorenlogik, die das Argumentieren auch mit solchen Aussagen erlaubt, die über abstrakte Entitäten wie Eigenschaften, Klassen und Beziehungen sprechen. Auf der Basis dieser Sprache wird die Identitätstheorie und Klassenalgebra in ihren Grundzügen erläutert. Hierauf aufbauend werden weitere wichtige logische und mengentheoretische Konzepte (wie etwa die Relationslogik, die Ordnungs- und Verbandstheorie, die Theorie der Ordinalzahlen, der Kardinalzahlen und der natürlichen Zahlen) dargestellt, die Grundlagen vieler Einzelwissenschaften sind. Den Abschluß bildet eine systematische Analyse der logisch-mathematischen sowie der semantischen Antinomien.