Wiskunde (minder gebruikelijk: mathematica of mathesis) is een van de oudste wetenschappen. Het is een formele wetenschap waarvan de gebruikelijke definitie is: het bestuderen van patronen en structuren. Met strikt logische redeneringen doet de wiskunde uitspraken (stellingen) over gedefinieerde objecten en formuleert de verbanden daartussen. De formele redenering die aantoont dat een stelling waar is, noemt men een wiskundig bewijs. Bij het opstellen van een bewijs wordt uitgegaan van een (klein) aantal uitgangspunten (axioma's) en enkele 'axiomatische definities'.