Mathematician:Paul Isaac Bernays

Mathematician
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)
 * Von Neumann-Bernays-Gödel Set Theory (with and )

Publications

 * 1934-39: Grundlagen der Mathematik (with )
















 * 1956: Revised 's Grundlagen der Geometrie


 * 1958: (historical introduction by )