29

Уиллард ван Орман Куайн (1908-2000) — американский логик. Его основные работы посвящены построению непротиворечивой аксиоматической системы, которая включала бы в себя логику классов. (Прим. ред.)