Что скрыто за термином моделирование

В системной инженерии объект и его конструкция обозначены одним словом – система, тип функций назван функцией, а описание системы – набором решений.

На основании чего вы делаете это утверждение?

Поскольку метод формальный, он позволяет выявлять противоречия в предметных областях тоже формальным способом.

А можно получить формальное определение терминов "представление", "валидация", "сущее", "сознание", "синхронизация", "метод", "модель"?

Второе, что надо помнить, что скакание не принадлежит лошади.

Можно, пожалуйста, формальное доказательство этого утверждения?

Часто делают ошибку, приписывая лошади способность скакать.

Тем не менее, обычно лошать может скакать. Никакой ошибки в этом нет.

Из-за особенностей русского языка трактовка в виде статичного объекта (лошадь) наделяется способностью иметь свойства (красный). Но это верно только в языке.

Поскольку язык — это тоже модель (точнее, описание на языке — модель), это утверждение верно и в модели (конкретной).

Почему стало возможным объединение методов?

Что такое "объединение методов"?

я вынужден был заняться формализацией процесса моделирования. Это позволило подойти к вопросу создания моделей исключительно формально

В этом вашем посте нет ни одного формализма, исключительно неформализованные рассуждения.

10 метров и метод 11 метров дают результат на одном образе, то мы говорим либо: это ошибка, либо – это разные точки зрения.

Запросто могут иметься в виду методы (в вашем понимании) одного образа "высота" и "ширина", для листа, например, а ваше понятие атрибута — в данном случае оба имеют тип "метрическая размерность"?

ну может быть я просто притягиваю подход семантической сети, но не по повествованию что-то соскочило, мне кажется, в любом случае

Поэтому одно скакание не есть то же скакание, но похожее.

Ага, вы почти научились понимать разницу между типом и экземпляром.
Тут же можно вспомнить (вот жеш ирония) и ту странную фразу "экземпляр этого процесса". "Экземпляр какого процесса? — Ну вот этого, процесса 'Скакание'".

Можно сказать так: скакун, но не сказать какой — то ли лошадь, то ли кенгуру.

А вот и интерфейсы подтянулись. Так вы скоро и в ООП разберетесь.