Matematika – mokslas, tiriantis struktūrų, kitimų ir erdvių modelius. Formaliai matematika yra aksiomomis apibrėžtų abstrakčių struktūrų nagrinėjimas, naudojant logiką ir matematinius žymėjimus.