Ну - в том числе и так можно сформулировать...

Хотя, можно мысли нестандартно, но крайне инерционно. Разрабатывать одну модель, а всё остальное считать неправильным.

Иногда инерционность даже может быть полезна.
Например в формальных системах. В предельно формальной - математике.
Вот работает человек в какой-то локальной области, теории групп , к примеру, и там действительно - только один формально верный критерий правильности.
К тому же, как заметил Бертран Рассел, математика это такая наука, где мы не знаем, о чём говорим.
Но ум, однако, заключается в том, что само доказательство процесс недетерминированный - надо догадаться. А иначе всё доказывали машины. Ан - нет!

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

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