A sentence, proposition thought, or judgement is necessary if it is true of any possible world. Some philosophers (e.g. A. J. Ayer) maintain that the truths of logic and mathematics are necessary because they are a priori, and a priori simply because they are analytic; similarly maintaining that contingent, a posteriori, and synthetic are equivalent.