LOGISTIKer
- entwickelte den Formalismus, d.i. die Begründung der MATHEMATIK durch eine METAMATHEMATIK, für die die Beweise in den konkreten mathematischen Disziplinen bloße Zeichenreihen sind, deren Widerspruchsfreiheit durch Schlüsse gesichert werden kann
- bildete eine SCHULE - Bernays, von Neumann, A. Schmidt -, die den Intuitionismus benutzte, um eigene Denkansätze weiter zu verfolgen → will „Satz vom ausgeschlossenen Dritten“ überwinden