Bernays, Paul Isaak

Matemático e lóxico. É coautor con D. Hilbert dos Grundlagen der Mathematik (Fundamentos de matemáticas, 1934-1939). En teoría de conxuntos formulou un sistema axiomático, sobre a base do enunciado por von Neumann, que foi posteriormente estudado por K. Gödel (sistema de von Neumann-Bernays-Gödel), e que distinguía entre clases e conxuntos, publicado no seu libro Axiomatic Set Theory (Serie de teorías axiomáticas, 1958).

Cronoloxía