Prologue.- 1 The Prehistory of the Axiom of Choice.- 1.1 Introduction.- 1.2 The Origins of the Assumption.- 1.3 The Boundary between the Finite and the Infinite.- 1.4 Cantor's Legacy of Implicit… Expand

To most mathematical logicians working in the 1980s, first-order logic is the proper and natural framework for mathematics. Yet it was not always so. In 1923, when a young Norwegian mathematician… Expand

What has been the historical relationship between set theory and logic? On the one hand, Zermelo and other mathematicians developed set theory as a Hilbert-style axiomatic system. On the other hand,… Expand

Modern linear algebra is based on vector spaces, or more generally, on modules. The abstract notion of vector space was first isolated by Peano (1888) in geometry. It was not influential then, nor… Expand

Hilbert's unpublished 1917 lectures on logic, analyzed here, are the beginning of modern metalogic. In them he proved the consistency and Post-completeness (maximal consistency) of propositional… Expand

This paper argues that Zermelo was primarily motivated, not by the paradoxes, but by the controversy surrounding his 1904 proof that every set can be well-ordered, and especially by a desire to preserve his Axiom of Choice from its numerous critics.Expand