Paul Isaak Bernays

Mathématicien et logicien suisse (Londres 1888-Zurich 1977).

Avec Hilbert, il a dégagé les principes d'une théorie de la démonstration. En théorie des ensembles, il a formulé un système d'axiomes qui est une variante du système de von Neumann.