贝尔奈斯(Bernays，Paul Isaak，1888-1977) 瑞士数学家、逻辑学家.生于伦敦.希尔伯特 (Hilbert，D.)的学生.1945年以后在苏黎世工作.伯奈斯的主要贡献在数学基础和数理逻辑方面。贝尔奈斯(Bernays，Paul Isaak，1888-1977) 瑞士数学家、逻辑学家.生于伦敦.希尔伯特 (Hilbert，D.)的学生.1945年以后在苏黎世工作.伯奈斯的主要贡献在数学基础和数理逻辑方面.他和哥德尔(Uode1，K.)共同改进和简化了冯·诺伊曼 (von Neumann，J.)对集合论的公理化的形式构造，他们对冯·诺伊曼利用函数概念而不用类的概念做出的集合论的公理体系加以整理，得到类的概念，被称为伯奈斯一哥德尔集合论.他还与希尔伯特共同研究了所谓“证明论”或元数学，并合著了《数学基础》一书，