42 Der Prädikaten- und Klassenkalkül,

binierten Kalküls immer richtige Aussagen darstellen. Ein näheres
Eingehen auf diese Probleme wollen wir uns aber versagen, da diese
sich besser in dem im folgenden zu besprechenden Funktionenkalkül
formulieren und behandeln lassen. Wir verzichten auch auf eine axioma-
tische Behandlung des Prädikatenkalküls. Der Prädikaten- und Klassen-
kalkül bildet überhaupt nur eine Vorbereitung für den Funktionenkalkül
und wird durch dessen Einführung überflüssig, so daß wir später auf die
in diesem Abschnitt angestellten Überlegungen nicht mehr zurückzu-
kommen brauchen. Dagegen bleibt der Aussagenkalkül als unentbehr-
liche Grundlage aller weiteren Untersuchungen bestehen