[садовник]

Моделируют реальность многие живые существа.
Разумные существа помимо этого анализируют полученные модели.

Это снимает ограничения теоремы Гёделя для системной рациональной аксиоматики.
И значит, как следствие в конкретике рассматриваемого вопроса, ограничение о необходимости находится в объемлющей аксиоматике.

зы:
Издержки мазахизма скрывались за наклонностью к садизму.

Вы, mon vieil ami, не посчитали надобным удостоить ответом на уточнение. Mauvais ton! Впрочем, как Вам угодно. Честь имею.