Paul Bernays ([ˈbɛɐˌnaɪs]; * 17. Oktober 1888 in London; † 18. September 1977 in Zürich) war ein Mathematiker und Logiker.