Les mathématiques sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à divers objets tels que les nombres, les figures, les structures et les transformations. Les mathématiques sont aussi le domaine de recherche développant ces connaissances, ainsi que la discipline qui les enseigne.
Les mathématiques se distinguent des autres sciences par un rapport particulier au réel. Elles sont de nature entièrement intellectuelle, étant fondées sur des axiomes déclarés vrais (c'est-à-dire que les axiomes ne sont pas soumis à l'expérience, même s'ils en sont souvent inspirés) ou sur des postulats provisoirement admis. Un énoncé mathématique – dénommé généralement, après être validé, théorème, proposition, lemme, fait, scholie ou corollaire – est considéré comme valide lorsque le discours formel qui établit sa vérité respecte une certaine structure rationnelle appelée démonstration, ou raisonnement logico-déductif. Un énoncé plausible, mais qui n'a pas encore été ainsi établi comme vrai, s'appelle une conjecture.
Bien que les résultats mathématiques soient des vérités purement formelles, ils trouvent cependant des applications dans les autres sciences et dans différents domaines de la technique. C'est ainsi qu'Eugene Wigner parle de « la déraisonnable efficacité des mathématiques dans les sciences de la nature »1.Le mot « mathématique » vient du grec, par l'intermédiaire du latin. Le mot μάθημα (máthēma) signifie « science, connaissance » puis « mathématiques » ; il a donné naissance à l'adjectif μαθηματικός (mathematikos), d'abord « relatif au savoir » puis « qui concerne les sciences mathématiques ». Cet adjectif a été adopté en latin (mathematicus) et dans les langues romanes par la suite (« mathématique » en français, matematica en italien, etc.), ainsi que dans de nombreuses autres langues2,3.
La forme neutre de l'adjectif μαθηματικός a été substantivée en τα μαθηματικά (ta mathēmatiká) pour désigner les sciences mathématiques dans