30 years after his passing, we take this opportunity to survey the work of Paul Bernays and its influence on modern set theory.