Комментарии 3
Пока вы заняты скорее булевой алгеброй. Если вы претендуете на теорию множеств, то давайте определимся с довольно стандартным набором вопросов
Есть ли у вас "универсальное множество" ака "множество всех множеств"
Является ли ваша теория множеств типизированной (если x принадлежит y, то y имеет "тип" выше чем у x
Является ли она фундируемой (нет зацикленной цепочки принадлежностей)
Как решается аксиома выбора
Как решается гипотеза континуума
Я не претендую на теорию множеств и занят не булевой алгеброй, а алгеброй множеств, причем в том значении этого термина, которое определено всемирно известными математиками. Поэтому Ваши вопросы не ко мне и не по теме. Посмотрите вступление к Части 1, пожалуйста.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
На чем основана логика? Часть 2. Математическая модель полисиллогистики