Чемпионат Ростовской области - 2017/18

Первый этап. 3 тур. "Люмос", вопрос 9

Все попытки создать полное и строгое теоретическое обоснование ИХ разбились о теорему Гёделя о неполноте. Назовите то из НИХ, появлению которого предшествовало ожидание длиною в семь с половиной миллионов лет.