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.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Bernays/