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.

Elles possèdent plusieurs branches telles que : l'arithmétique, l'algèbre, la géométrie, la logique mathématique, les mathématiques pures, appliquées, etc.

Les mathématiques se distinguent des autres sciences par un rapport particulier au réel car l'observation et l'expérience ne s'y portent pas sur des objets physiques. Elles sont de nature entièrement intellectuelle, fondées sur des axiomes déclarés vrais ou sur des postulats provisoirement admis. Ces axiomes en constituent les fondements et ne dépendent donc d'aucune autre proposition. 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é présenté comme plausible, mais qui n'a pas encore été établi comme vrai ("démontré", en langage utilisé par les mathématiciens), 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 ».
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)