He has to prove that there is an actual "possibility" of some world to exist. The claim alone is meaningless. Otherwise everyone could go and claim 4: "if some BS-i-just-made-up is true for every world i just made up then its true for the actual world."
Cetero censeo religionem delendam esse