Определение принадлежности элемента множеству

[Sonic86]

zm_sansan, а Вы программулину пишете?

[zm_sansan]

Идеально конечно это построение языка для описания всего что угодно и самого языка включительно, но проблемы возникающие у меня, будто указывают на невозможность этого.

[zm_sansan]

Sonic86 в сообщении #1014937 писал(а):

zm_sansan, а Вы программулину пишете?

Да, сайт. БД на SQL. Систему для классификации, поиска, фильтрации по отношениям делаю. Ну и автоматический вывод знаний хорошо бы потом прикрутить. Люблю логику)
В качестве понятий выступают множества и элементы. Утверждения описываются с помощью отношений. На данный момент отношения считаются множествами.

[arseniiv]

zm_sansan в сообщении #1014915 писал(а):

что по-моему ужасно, так как ведёт к таким путаницам

Кого-то ведёт, кого-то не ведёт. Легко показать, что $\{(x,y):x=y\}$ и $\{(x,y):x\in y\}$ множествами не являются.

zm_sansan в сообщении #1014915 писал(а):

Если посмотреть определение класса в википедии: Класс (математика) — произвольная совокупность множеств, обладающих каким-либо определённым свойством или признаком.
То не понятно, свойство или признак - являются отношением. А как вы пишите отношение является классом, и что тогда получится такой вот случай:
Отношение - произвольная совокупность множеств, обладающих каким-либо определённым отношением. - опять само через себя... так и не пойму что такое отношение.

В аксиоматической теории вам насильно запретят так неаккуратно обращаться со словами, но, в принципе, этого можно не делать и без неё.