[Евгений-Бур]

Позволю себе изменить определения М, Стр и Сис. На пальчиках, сыроватенько. Но соблюдён принцип двойственности: всегда -- пара
Множество -- каждая из двух частей Универсума, разделённого по правилам логики. Одна из которых -- "интересна" (части самолёта).
Структура -- одна из частей Универсума с определёнными связями... (Будет ли летать самолёт ещё не известно, но красив зараза)
Система -- обе части взаимодействуют (во взаимодействии, таки полетел, хоть и красив).
----------
аааааа!!! Просто детская радость. извините.
Жесть!!!!!
------
Ах, да.
Универсум -- все элементы, допускающие/способные объединяться в структуры, системы... может ещё во что-нибудь.
Нет элементов вне Универсума. Всё -- в нём, родимом.
---------
Из показанного определения Множества легко следует -- неполнота или противоречивость (по-крупному). И Гёдель не нужен.