Математик, логик, один из создателей школы математической логики, профессор МГУ. Автор первой русской монографии по теории множеств. Скончался 28 марта 1947 года, похоронен в Москве на Ваганьковском кладбище.