If a statement is true in all possible worlds, then it is a necessary truth.
如果一个陈述在所有可能世界中是真的，则它是必然的真理。