Any necessary truth, whether a priori or a posteriori, could not have turned out otherwise.
Saul Kripke