Развитие идей Гильберта по основаниям математики в работах его последователей (Карри, Генцен, Черч и др.)доклад на конференции