Вы же сами написали, что правило Борна с вероятностной мерой не выводимо, а значит, вероятностную меру нужно постулировать и доказывать её совместимость с унитарной эволюцией ММИ.
Да. Но с другой стороны, её постулировать невозможно, потому что не к чему приложить: в постулатах-то никаких миров нет и не может быть, поскольку они сущности эмерджентные. Значит её надо выводить.
теорвер - это математика, а не философия, и чтобы его использовать везде где появляется вероятностная мера разрешение философов не требуется
Использовать можно, но надо понимать, что получаемые числа не будут вероятностями. Вот, из статьи о том, что такое философская строгость:
Можно найти хорошие примеры, в которых понятия философской строгости, с одной стороны, и физической или математической строгости, с другой стороны, разделяются.
Например, если вы спросите студента-математика, каков строгий смысл вероятностей, вы, по крайней мере, по моему опыту, часто услышите от него рассказ об аксиоматических пространствах вероятностей Колмогорова. <...>
Эта аксиоматическая структура хороша на уровне чистой математики, но, конечно же, ничто из этого не говорит нам, что такое вероятность
на самом деле, не говоря уже о том, какое отношение числовые величины, присвоенные

, имеют к реальным вероятностям. Эта аксиоматическая структура не говорит нам, имеем ли мы дело с вероятностями в смысле объективного шанса или в смысле субъективной уверенности, или даже являются ли они вообще вероятностями, а не, скажем, какими-то другими величинами, которые случайно удовлетворяют аксиомам Колмогорова, такими как множество долей объема Земли.
Здесь явно существует разрыв между строгостью на уровне математических символов и строгостью в философском смысле. Этот разрыв возник именно там, где математические символы иссякли, где нам нужно сказать что-то о том, как перейти от математических символов к утверждениям о реальности.