На чем основана логика? Часть 2. Математическая модель полисиллогистики

[Tzimie]

Пока вы заняты скорее булевой алгеброй. Если вы претендуете на теорию множеств, то давайте определимся с довольно стандартным набором вопросов

1. Есть ли у вас "универсальное множество" ака "множество всех множеств"

2. Является ли ваша теория множеств типизированной (если x принадлежит y, то y имеет "тип" выше чем у x

3. Является ли она фундируемой (нет зацикленной цепочки принадлежностей)

4. Как решается аксиома выбора

5. Как решается гипотеза континуума

[AntiLogik]

Я не претендую на теорию множеств и занят не булевой алгеброй, а алгеброй множеств, причем в том значении этого термина, которое определено всемирно известными математиками. Поэтому Ваши вопросы не ко мне и не по теме. Посмотрите вступление к Части 1, пожалуйста.

[Tzimie]

Да, действительно, был неправ. Прочитал "теория множеств" вместо "алгебра множеств"