[kmill]

The power of modern logic is that we can make predictions like this!

I wasn't sure whether the Löwenheim–Skolem alien was just translating things into our set theory for our sake, but I think your proposal is more likely.