[садовник]

Правильно, есть грань между законом (выводится из заданных свойств) и свойством (в первом аспекте понимаемом, как априорность, а не как упрощение).
Такая же как между аксиомой и теоремой.

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

И вообще, я по-моему уже настолько чётко разрисовал свою позицию, что как говорила одна моя знакомая преподавательница: Я уже сама разобралась пока вам тут объясняла.

Что объяснять то? Сознание - свойство... Фраза, выдернутая из контекста - может означать всё что угодно. Императивы могут быть привязаны только к конкретной модели, а не болтаться так просто в пространстве, подобно знаменитым сферическим коням.