Paul Bernays (1888-1977), a Swiss mathematician born in London, a great-grandson of Isaac
Pope John Paul II | Paul McCartney | Paul Simon | Paul Newman | Pope Paul VI | St Paul's Cathedral | Paul | Jean-Paul Sartre | Peter Paul Rubens | Paul Robeson | Paul Anka | St. Paul | Paul Hindemith | Paul Revere | Paul Weller | Paul Klee | Saint Paul | Paul Kelly | Paul Cézanne | John Paul Jones | Paul Ryan | Paul Gauguin | Paul Oakenfold | Jean Paul Gaultier | Paul the Apostle | Paul Keating | Paul Auster | Pope John Paul I | Paul Martin | Paul Whiteman |
One who had to leave Germany, Paul Bernays, had collaborated with Hilbert in mathematical logic, and co-authored with him the important book Grundlagen der Mathematik (which eventually appeared in two volumes, in 1934 and 1939).
In mathematical logic, the Hilbert–Bernays provability conditions, named after David Hilbert and Paul Bernays, are a set of requirements for formalized provability predicates in formal theories of arithmetic (Smith 2007:224).