Model equivalence proofs (Church-Turing thesis) establish formal isomorphisms, not mere conjecture, ...
This proposition has not been edited since the history system was added.