>>539313 Итак, сформулируем математически.
Любая сова, принадлежит множеству сов, но не является полностью совой, потому что принадлежит множеству сов.
Теперь докажем это утверждение.
Пусть сова - это сова. Тогда любая сова является совой, а следовательно и принадлежит множеству сов.
Пусть множество - это множество. Тогда любое множество является множеством, а следовательно принадлежит множеству множеств.
Тогда и только тогда, множество сов являясь множеством будет принадлежать множеству множеств, а сова будучи элементом множества сов будет принадлежать и множеству множеств.
Таким образом сова принадлежит множеству сов и множеству множеств одновременно.
Пусть элементы множества сов имеют свойства сов. А элементы множества множеств имеют свойства множеств. Тогда элемент входящий и в множество сов и в множество множеств будет иметь свойства и множества сов и множества множеств.
Таким образом сова имеет свойства как множества сов, так и множества множеств.
Пусть свойства множества сов и множества множеств это не тождественно равны, тогда элемент множества сов проявляя свойства множества множеств одновременно и принадлежит множеству сов, так и не принадлежит множеству сов.
Таким образом сова принадлежа множеству сов не является полностью совой, проявляя при этом свойства множества множеств, потому что принадлежит множеству сов.
