Something that has to be true. It can't be false, and we should not be able to imagine a workable world in which it is not the way it is.

The usual examples are things like "if I think, therefore I am" and 2 + 2 = 4.

If something is not a necissary truth, then it is a empirical truth or false (at least conditionaly).