Список проголосовавших за комментарий "sortarray sortarray, sortarray sortarray, под решением имеется ввиду построение непротиворечивой аксиоматики теории множества. Я придерживаюсь <strong>с</strong><strong>истемы аксиом фон Неймана — Бернайса — Гёделя</strong><strong>. </strong>Она довольно громоздкая, но непротиворечивая. В этом плане для нужд функционального и стохастического анализа достаточно её упрощения, но обязательны классы, т.к. современный функциональный анализ довольно сильно завязан на теорию категорий, а она без классов не строится."