Автор: vvia_Kirr По С2 ни у одного объекта нет свойства «определитель Мира» ≡ «определитель набора объектов».
|
|
Т.е. говорится что ни один определитель набора объектов не является определителем Мира.
Автор: vvia_Kirr По п.3 и С6 Наблюдатель содержит свойство «определитель всех объектов набора объектов».
|
|
Опять же нестрого говоря, не являясь - в полном соответствии с вышесказанным - определителем Мира. Если говорить строго, то «определитель набора объектов» не тождественен «определитель всех объектов набора объектов», поскольку, например, «набор объектов»="созвездие", а «все объекты набора объектов»="Ригель, Антарес, ...". Т.е. на самом деле
По С2 ни у одного объекта нет свойства «определитель Мира» ≡ «определитель набора объектов».
...
По п.3 и С6 Наблюдатель содержит свойство «определитель всех объектов набора объектов».
не пересекаются в этом смысле.
Автор: vvia_Kirr По-моему здесь противоречие. Ведь наблюдатель - тоже объект?
|
|
Ну и что что объект? Противоречие чего с чем?