Paul Bernays

Fue asistente y colaborador cercano de David Hilbert.Bernays fue Privatdozent en la Universidad de Zúrich, 1912-17, donde conoció a George Pólya.En 1918, esa universidad le otorgó una segunda Habilitación, por una tesis sobre la axiomática del cálculo proposicional de Principia Mathematica.Después de trabajar en privado para Hilbert durante seis meses, Bernays y su familia se mudaron a Suiza, cuya nacionalidad había heredado de su padre, y donde la ETH lo empleó en ocasiones.En siete artículos, publicados entre 1937 y 1954 en el Journal of Symbolic Logic, reeditado en (Müller, 1976), Bernays expuso una teoría de conjuntos axiomáticos cuyo punto de partida era una teoría relacionada que John von Neumann había expuesto en la década de 1920.