141

Выдающиеся логики и философы австриец К. Гедель, американец А. Черч и англичанин А. Тьюринг в эти годы вели исследования в рамках популярной тогда идеи Д. Гильберта об «аксиоматизации» математики (создании универсальной математической теории).