[atondwal]

> Gödel's incompleteness theorems, which tells us about the gaps in theories we can't fill

That's mathematical, not physical, so that would mean that in the parent universe somehow _something else constitutes a formal language_, which requires changing what it means to be a subset, which requires changing set theory. So if GITs are invalid in the parent universe, it means, roughly either that you can compare something to itself, and find that it contains different things that itself (absurd), or that list comprehensions are logically impossible (not as obviously absurd, but still "whaaa?").