Paul Bernays

Paul Isaac Bernays was a Swiss mathematician who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert. *--Wikipedia*