analytic

of a proposition that is necessarily true independent of fact or experience