Global Optimality and Recursive Meta-Levels

One of the most important
aspects of our fully self-referential set-up is the following.
Any proof of a target theorem automatically proves
that the corresponding self-modification is good for all
further self-modifications affected by the present one,
in recursive fashion.
In that sense all possible ``meta-levels'' of the self-referential
system are collapsed into one.