Sav Wrote:Чем более общая наука, тем хуже она может существовать без своих частей, тебе не кажется?

Дык я же говорил уже, что матлогика - не часть математики

Программирование вон тоже без математики существовать не может. Тогда математика - часть программирования, что ли? Нет, и обратное тоже неверно. Эти две науки просто пересекаются между собой, но ни одна из них не содержит другую. Точно также и с матлогикой...

Да и вообще - я думаю, что отношения "принадлежности" и "включения" тут немного не к месту. Тут намного лучше подходит отношение "родитель-потомок". Ведь потомок не является ни элементом родителя, ни его подмножеством - равно как и наоборот. Однако существовать без родителя потомок не может. То бишь рассматривать нужно не сами множества, а операции над ними (не ТМО)