f. Ciencia lógico-deductiva en la que, de conceptos primarios no definidos (unidad, conjunto, correspondencia; punto, recta, plano) y de proposiciones que se aceptan sin demostración (axiomas), se extrae toda una teoría por razonamientos libre de contradicción: la matemática es básica para la astronomía y para muchas otras ciencias. Más en pl.: voy a clase de matemáticas.
Ciència lògic-deductiu f que no és definir conceptes primàries (correspondència sencera, unitat, punt, recta, pla) i proposicions que s'accepten sense demostració (axiomes), treu una teoria sencera per raonament de contradicció: la matemàtica és bàsic per a l'astronomia i moltes altres ciències. Més en pl.: anar a classe de matemàtiques.