[Retra]

If you received a formal statement from an alien in another universe, it might not even look formal from your perspective. Mathematical theorems are not necessarily independent of universes, because those factors we consider necessary for formalization may not apply in other universes. You don't know if contradictions in this universe must be contradictions elsewhere.