Список проголосовавших за комментарий "MENERAVV, В математике все сквозит этим подходом. У вас не может быть стройной непротиворечивой теории, если у вас может быть одновременно 1 + 1 = 2 и 1 + 1 = 3.<br/> <br/> Другой пример — понятие математического объекта, категории, типа и тд. Я не о собо знаком, но знаю по некоторым прикладным вещам, что все эти подходы ведут, к примеру к тому, что если у вас объект типа А он не может быть объектом типа B. Один и тот же объект не может представлять различные типы, такие дела."