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.