А, кстати, тут можно и похулиганить: порассуждать про измеряемость площади по Лебегу, парадокс Банаха-Тарского. А отсюда и до скандалов с аксиомой выбора рукой подать. Интересно, как Колмогоров оценивает всю эту борьбу с проблемами в самом основании математики? У нас ведь сейчас не одна, а сразу несколько математик, ни одна из которых не является внутренне непротиворечивой… Не существует решенных математических проблем, существуют только проблемы более или менее решенные. Даже, строго говоря, не понятно, что считать математически доказанным. А, в итоге, все сводится к тому же: открываем мы математические факты или же изобретаем, и тогда математика, по сути, становится наукой экспериментальной…".