Unless you have very peculiar and idiosyncratic definition of the world model, I am fairly confident that what you are saying doesn't make much sense.

In economy in a way that is not dissimilar to physics, model has a precise meaning. To quote Wikipedia, it is a simplified version of reality that allows us to observe, understand, and make predictions about economic behavior. You can't have a model of a model. That just doesn't really make sense.

> Mathematical proofs rely on this

I'm confused by what you want to say here. Mathematical proofs don't use models.

Every proved statements in mathematics can be built from axioms which are presupposed true applying logical rules which are themselves part of the axiomatic system. Saying that something is mathematically proved basically means that given this set of rules we can build up to that point.

> Rationality itself is a model

Once again I'm fairly lost by what you are trying to mean. I'm fairly certain that for most accepted meaning of the world model and the world rationality, rationality is in fact not a model in the same way that a dog is not a theory.