Bernays
Bernays [-najs] Paul, 17. 11. 1888 až 18. 9. 1977, švýc. logik; prof. univ. v Göttingen a Curychu; spoluprac. Hilbertův, s nímž vydal Grundlagen der Mathematik (Základy matematiky). Napsal řadu prací o metalogických problémech a logických zákl. matematiky. Podal první důkaz úplnosti výrokové logiky.
