LINUX.ORG.RU

История изменений

Исправление monk, (текущая версия) :

Проблема в том, что ты эту совокупность объявил множеством.

Совокупность множеств я могу объявить множеством по аксиоме пары. То есть определение: «первое множество содержит все 10 указанных множеств» вполне корректно. Или ты не про ZFC сейчас? Тогда какая аксиоматика?

Исходная версия monk, :

Проблема в том, что ты эту совокупность объявил множеством.

Совокупность множеств я могу объявить множеством по аксиоме пары. То есть определение: «первое множество содержит все 10 указанных множеств» вполне корректно.