Faizal, Krauss, Shabir, and Marino have produced a correct and important result: no purely algorithmic formal system can serve as a complete foundational account of physics. We agree with the diagnosis, agree with the Gödel–Tarski–Chaitin argument, and agree that the universe is not a simulation. We reach the same conclusion independently and by a different route, which we take as evidence that both arguments are pointing at something real. Our concern is narrower and structural. Their proposed resolution—the Meta-Theory of Everything, grounded in non-algorithmic understanding via an external truth predicate and inference mechanism Rnonalg—contains an undefined element at its load-bearing center. We show that every attempt to define this element generates a new triple requiring the same definition—a vicious infinite regress with no termination, structurally identical to the foundational gap the framework was designed to escape. This regress is not new. It has appeared across two and a half thousand years of formal thought from the Pythagoreans through Descartes and Leibniz to Von Neumann and Wittgenstein. Everyone who has stood at this boundary has named the gap and moved on. We do not claim to resolve it here. We claim only that Rnonalg is not a resolution—it is the gap, renamed. We describe the shape of what genuine resolution would require, leave the question open, and note that impossibility has not been proved. Only difficulty has. Submitted to The Review of Symbolic Logic, March 2026.
Thompson H.I. Spencer (2026) studied this question.