Zermelo 1932a

pp. 532-549

in: Ernst Zermelo, Set theory, miscellanea / Mengenlehre, varia, Berlin, Springer, 2010

Abstract

Zermelo's final publications concerning mathematical logic are 1932a, 1932b, and 1935. The three articles cover much the same ground, indicating that the ideas involved date from 1931 or before. Zermelo's presentation in 1932a of his "infinitary proof theory" is compressed, but that paper offers the most with regard to philosophical motivation and bears the clearest relation to the five theses of s1921.