Las proposiciones universales de la lógica y la matemática son analíticas

«Los principios de la lógica y la matemática son universalmente verdaderos, sencillamente porque nunca les permitimos ser otra cosa, Y la razón de esto es que no podemos abandonarlos sin contradecirnos a nosotros mismos, sin faltar a las normas que rigen el uso del lenguaje, y haciendo que nuestras expresiones se autoinutilicen. En otras palabras, las verdades de la lógica y de la matemática son proposiciones analíticas o tautológicas».

(A. J. AYER, Lenguaje, verdad y lógica, IV. Trad. M. Suárez. Barcelona, Orbis, 1984, pp. 90-91).