بِرنایْس، پُل (۱۸۸۸ـ۱۹۷۷)(Bernays, Pauthorl)ریاضی دان سوئیسی، زادۀ انگلستان. نظریۀ مجموعه های او را اکنون صاحب نظران مفیدترین شکل این نظریه، و عرضۀ آن را خدمت مهمی به گسترشِ نوین منطق می دانند. در لندن زاده شد. در برلین بزرگ شد و در دانشگاه های برلین و گوتینگن ریاضیات، فلسفه، و فیزیک نظری خواند. از ۱۹۱۲ تا ۱۹۱۷، در زوریخِ سوئیس به پژوهش مشغول بود و سپس، در گوتینگن، دستیار داوید هیلبرت، ریاضی دان آ...