In the beginning was the Word, and the Word was with God, and the Word was God: The fundamental theorem of the universe

If one replaces the standard (Gödel) mathematics with Hilbert arithmetic/ mathematics thus able to merge ontomathematically reality and mathematics (in the former case, being prevented by the Gödel objection), "creatio ex nihilo " can be rigorously inferred only from the unlimited function successor, furthermore under the axiom of induction providing universal finiteness. It is caused in the final analysis by the closeness of the universe following from its definition to "be all" and thus single one, in particular excluding: the Big Bang; other universes ("worlds", e.g. after Everett-Wheeler's interpretation); multiverse; etc. That deduction is called the "fundamental theorem of the universe". It is rather a new paradigm implying a class of theories belonging to "ontomathematical Postmodernity", rather than a new theory, belonging together with the Big Bang one (as causing the universe externally) to Modernity, thus needing energy conservation to be kept at any cost, and adding ad hoc external causes such as the Big Bing itself. On the contrary, the alternative paradigm, only in the framework of which the fundamental theorem of the universe can be proved, excludes any causes external to the universe by allowing violations of energy conservation, in turn equivalent to external causes in the former paradigm. Anyway, those violations obey a more general conservation of quantum information. Under the newly introduced "quantum invariance", a further conservative generalization of Einstein's principle of the physical law invariance to smooth transformations between noninertial reference frames in order to include discrete ones, all external causes are equivalent to internal ones. The metaphor of two "ship models", the one of which is built "within in a bottle" (as a figurative illustration of Modernity's restrictions) since both models are quite similar, but that within a bottle needs virtuous skills to be constructed: so both paradigms are formally equivalent, but the ontomathematical one generates much simpler explanations and implies the huge extension of human cognition in the future.