Paul Bernays was a Swiss mathematician, who made important contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He is the B in the NBG axiom system.