What has been the historical relationship between set theory and logic? On the óne hand, Zermelo and other mathematicians developed set theory as a Hilbert-style axiomatic system. On the other hand, set theory influenced logic by suggesting to Schröder, Löwenheim and others the use of infinitely long expressions. The question of which logic was appropriate for set theory — first-order logic, second-order logic, or an infinitary logic — culminated in a vigorous exchange between Zermelo and Gödel around 1930. © 1980 Taylor & Francis Ltd.
CITATION STYLE
Moore, G. H. (1980). Beyond first-order logic: The historical interplay between mathematical logic and axiomatic set theory. History and Philosophy of Logic, 1(1–2), 95–137. https://doi.org/10.1080/01445348008837006
Mendeley helps you to discover research relevant for your work.