1 Table of Contents: “... ganzer Zahlen (1950) -- The axiom of choice in Quine’s new foundations for mathematical logic (1953...”