I’m not convinced it’s impossible to model reality from the inside of reality. It’s conceivable to have a model that logically necessitates a reality, maybe with some kind of meta-mathematical bootstrapping mechanism, and some way to prove that your model reality is the same reality as we’re in (eg just as all turing-complete machines are equally powerful, all realities with some properties are equally real).