Les bases de la logique Hilbertienne. (Q1828976)

Klarlegung der Grundlagen der \textit{Hilbert}schen Metamathematik in allgemeinverständlicher Form: Der logistische Apparat, die Widerspruchsfreiheit und die Vollständigkeit eines Systems, die an der \textit{Fermat}schen Vermutung und dem Satz des aus geschlossenen Dritten erläutert werden, die Bekämpfung der intuitionistischen Einwände und das Entscheidbarkeitsproblem. Außerdem diskutiert Verf. die Gewißheit, jede mathematische Theorie metamathematisch abzuleiten, und weist auf den Formalismus des Systems hin.