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