Les mathématiques constituent un domaine de connaissances abstraites construites à l’aide de raisonnements logiques sur des concepts tels que les nombres, les figures, les structures et les transformations. Les mathématiques désignent aussi le domaine de recherche visant à développer 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 purement intellectuelle, 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 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.
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’Eugène Wigner parle de « la déraisonnable efficacité des mathématiques dans les sciences de la nature »1.