Paul Bernays

lived from 1888 to 1977

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/