ГОСТРИСО 15926-2 2010
Рисунок’ЬГЗ —Пример хорошообоснованных множеств
Утверждение, что множества могут быть сконструированы, позволяет оспорить парадокс Рассела, но
предполагает, что хорошо обоснованные множества, подобные таким, как
“class
is
class",
"thing is class”,
■‘class is a thing", могут иметь место.
D.3 Комментарий
Следует заметить, что каждый тип множества является подмножеством последующихтипов множества,
а так как ИСО 15926разрешает недостаточнообоснованные множества, тоон поддерживает все другие типы
множеств, также упомянутые здесь.
222