A proposition is "necessary" if it is true in all possible worlds, and "possible" if it is true in at least one.
Утверждение является обязательным, если оно является правдой во всех возможных мирах, и возможным, если оно является правдой по крайней мере в одном мире.