Реализация программы А.Н. Колмогорова по основаниям математики в виде теории Кантора-Чёрча-Генценадоклад на конференции