Швейцарский математик. Родился в Лондоне. Учился в Высшей технической школе, Берлин-Шарлоттенбург (1907), Гёттингенском (1909) и Берлинском (1912) университетах. В 1912—1917 работал в Цюрихском университете, в 1917—1933 — в Гёттингенском университете (до 1930—ассистент Д. Гильберта), в 1934 и с 1939 — в Цюрихском политехникуме (с 1945—профессор), в 1935—1936— в Принстонском институте перспективных исследований (США).

Исследования посвящены преимущественно основаниям математики, в частности основаниям геометрии, и аксиоматике целых. В 1937—1954 предложил собственную аксиоматику теории множеств. Совместно с Гильбертом написал трактат «Основания математики» (1934), второе издание которого (1968) дополнено результатами Бернайса. Ряд исследований относится к теории множеств, математической логике, философии науки.