Die neueren Ideen zur Grundlegung der Analysis und Mengenlehre. (Q1457515)

Unter den Differenzpunkten hinsichtlich der Begründung von Analysis und Mengenlehre, an denen sich heute die Geister scheiden, werden die drei wesentlichsten im vorliegenden Vortrag besprochen: der Satz vom ausgeschlossenen Dritten, die Bildung einer Menge auf Grund einer charakteristischen Eigenschaft, die nicht-prädikativen Begriffsbildungen. Neu ist namentlich der Hinweis, daß\ (durch die vom Verf. anderweitig gegebene Verschärfung des Aussonderungsprozesses) der zweite Differenzpunkt völlig zu beseitigen ist, wobei freilich klarer als bisher hervortritt, welche entscheidende Rolle die nichtprädikativen Prozesse zu spielen haben, die zu Unrecht seit Poincaré in den Hintergrund getreten seien. Diese Prozesse werden schließlich mit einer neuerdings von Skolem entdeckten Paradoxie in Verbindung gesetzt.