Necessity

That without which cannot be otherwise. Also: A statement that must be true. A statement is necessarily true (or false) if it could not have been otherwise; it has the same truth value in every (relevantly accessible) possible world. A statement is contingently true (or false) if it could have been otherwise; it has different truth-values at different possible worlds.