Grundzüge der Mathematischen Logik
§ 1. Prolegomena 1. Die Logik, die in diesem Lehrbuch entwickelt wird, ist bestimmt durch die folgenden Kennzeichen: (1) Sie fuBt auf derselben Ontologie wie die von erkennbaren Wider sprlichen befreite und in diesem Sinne vertretbare klassische Mathe matik. Flir diese Ontologie ist charakteristisch die Grundvoraussetzung, daB die Objekte der Mathematik und mit ihnen die mathematischen Bereiche an sich existieren, ...