DRAFT: On the logical foundation of physics (part 1)

The aim of this work is, first, to set the basis for a formal model of science, then, it is to show that the laws of physics are its theorems. Necessarily, all theories that are the product of science are theorems of our model. Therefore, as we will argue, our model is the logical foundation of physics. Within the context of prior work our model is best understood as an axiomatic realization of the participatory universe envisioned by John Archibald Wheeler, in which the observer's practice of science brings about the reality he attempts to understand. As our model is constructive of a mathematical structure isomorphic to nature, it deprecates Karl Popper's definition of science based on falsifiability. In our model, nature is understood as the "basket" which holds the proofs that all observations are formally verifiable (and thus reproducible). For the universal case, the "basket" is a mathematical structure isomorphic to the physical universe. In this case, the theory is epistemologically complete, fundamental, predictive, free of physical baggage (in the sense of Max Tegmark), logically necessary, guaranteed to survive falsifiability, and provably cannot be improved by any scientific means