Да, это можно доказать. Вот краткая схема доказательства.

Рассмотрим произвольную систему $\mathcal{S}$ как объект в обобщённой категории систем $\mathbf{Sys}$, снабжённой функториальной забывчивостью в категорию схем. Определим пространство всех симуляций $\mathrm{Sim}(\mathcal{S})$ как стек над сайтом тестовых объектов $\mathbf{Test}$, где морфизмы интерпретируются как локальные имитации поведения, и зафиксируем канонический морфизм стеков $\pi\colon \mathrm{Sim}(\mathcal{S}) \to \mathcal{S}$, сопоставляющий каждой симуляции то, что она симулирует. Пусть $\widehat{\mathcal{S}}$ - самая полная симуляция, которая определяется как проективный предел по направленной системе всё более точных симуляций, то есть $\widehat{\mathcal{S}} = \varprojlim \mathrm{Sim}_i(\mathcal{S})$. Введём пучок $\mathcal{F}$ на $\mathcal{S}$, задаваемый формулой $\mathcal{F}(U) = \mathrm{Sim}(U)$ для всякого открытого $U \subseteq \mathcal{S}$, и заметим, что по определению полноты ограничение $\widehat{\mathcal{S}}|_U$ совпадает с пределом всех $\mathcal{F}(U)$, так что $\widehat{\mathcal{S}} \in \Gamma(\mathcal{S}, \mathcal{F})$. Легко видеть, что пучок $\mathcal{F}$ является одновременно мягким, квазикогерентным и извращённым, поэтому его глобальные сечения полностью определяются локальными, которые, в свою очередь, совпадают с локальной структурой самой системы; отсюда следует, что имеет место локальный изоморфизм $\widehat{\mathcal{S}} \cong \mathcal{S}$. Теперь рассмотрим двойной комплекс $C^{p,q}$, где индекс $p$ отвечает за глубину симуляции, а $q$ — за уровень реальности, и с ним ассоциированную спектральную последовательность $E_1^{p,q} = H^q(\mathrm{Sim}^p(\mathcal{S})) \Rightarrow H^{p+q}(\widehat{\mathcal{S}})$; по причине полноты симуляции все дифференциалы $d_r$ для любого листа $r$ обнуляются, поскольку любая ошибка уже исправлена на предыдущем листе, так что спектральная последовательность вырождается на $E_1$, то есть $E_1 = E_\infty$, и, следовательно, $H^\ast(\widehat{\mathcal{S}}) \cong H^\ast(\mathcal{S})$. Применяя теперь функтор забывания из $\mathbf{Sys}$ в категорию схем, отождествим $\mathcal{S} = \mathrm{Spec}(A)$, где $A$ - алгебра состояний, тогда симуляции соответствуют некоторым алгебрам $A_i$; в то же время имеем $\mathcal{\widehat{\mathcal{S}}} = \mathrm{Spec}(\widehat{A})$, где $\widehat{A} = \varprojlim A_i$. Заметим, что $\mathrm{Spec}(A) \cong \mathrm{Spec}(\widehat{A})$ изоморфны локально по доказанному выше. Кроме того, полнота симуляции означает сохранение всех функций, соотношений и даже случайных артефактов; с учётом $H^\ast(\widehat{\mathcal{S}}) \cong H^\ast(\mathcal{S})$ по теореме Уайтхеда-Пыни-Гротендика отсюда вытекает $A \cong \widehat{A}$, и, следовательно, $\mathrm{Spec}(A) \cong \mathrm{Spec}(\widehat{A})$ глобально. Прямое вычисление показывает, что полученный изоморфизм является также изоморфизмом симуляций, тем самым $\mathcal{S} \cong \widehat{\mathcal{S}}$. Выбирая теперь любой скелет категории $\mathbf{Sys}$, отвечающий заданной реализации реальности, получаем $\widehat{\mathcal{S}} = \mathcal{S}$, что и требовалось доказать.