Hi Hakob

Your formulation 'We can think of a world, where..' bothers me. Why should the nature of other universes be governed by, and limited to, what we can think of?

Perhaps, indeed, there are universes in which 2+2 is defined as 5, bizarre though that may seem to us. Perhaps there are universes in which addition itself is impossible. Perhaps anything.

But even if I concede your point, the familiar philosophical proposition 'There is a possible world in which' is still knocked out of court, is it not?  The stipulated conditions are usually empirical in nature - thus satisfying your requirement - and since empirical conditions might now be absolutely anything, the notion of impossible, which would make sense of the idea of possible in this context, is out the window.

Adieu so-called 'thought experiments'. (Thank God!)

D