Mathematician:Paul Isaac Bernays

Swiss mathematician who worked mainly in mathematical logic and axiomatic set theory.

Nationality
Swiss

History

 * Born: 17 October 1888, London, UK
 * Died: 18 September 1977, Zurich, Switzerland

Theorems and Definitions

 * Principle of Dependent Choices (a form of the Axiom of Choice)

Books and Papers

 * 1934-39: Grundlagen der Mathematik (with David Hilbert)
 * 1956: Revised Hilbert's Grundlagen der Geometrie
 * 1958: (historical introduction by A. A. Fraenkel)