Sciences grecques
Euclide (325 à 265 av. J.-C.) est l'auteur des "Éléments" (Στοιχεία), qui sont considérés comme l'un des textes fondateurs des mathématiques modernes. Ses postulats, comme celui nommé le « postulat d'Euclide », que l'on exprime de nos jours en affirmant que « par un point pris hors d'une droite il passe une et une seule parallèle à cette droite » sont à la base de la géométrie systématisée. C'est avec Euclide que la preuve mathématique apparaît comme une composante intrinsèque de la pensée. On notera aussi que les mathématiques grecques sont avant tout de la géométrie et de l'arithmétique. Sur les treize livres des "Éléments", qui constituent une somme des connaissances mathématiques de l'époque, neuf sont consacrés à la géométrie et quatre à l'arithmétique. Il est donc essentiel de comprendre que, pour les Grecs, le calcul ne fait pas partie des mathématiques. C'est l'affaire des comptables — les « logisticiens » suivant le mot grec — et les Grecs sont d'ailleurs de très piètres calculateurs. Le calcul sera avec l'algèbre l'une des grandes avancées des mathématiques arabes.
Algèbre
Au début du , sous l'impulsion de l'Allemand Hilbert et du Français Poincaré, les mathématiciens s'interrogent sur les fondements des mathématiques : logique et axiomatisation occupent le devant de la scène. Peano axiomatise l'arithmétique, puis les espaces vectoriels. La structure d'espace vectoriel et la structure d'algèbre sont approfondies par Artin en 1925, avec des corps de base autres que formula_8 ou formula_9 et des opérateurs toujours plus abstraits. On doit aussi à Artin, considéré comme le père de l'algèbre contemporaine, des résultats fondamentaux sur les corps de nombres algébriques. Les corps non commutatifs amènent à définir la structure de module sur un anneau et la généralisation des résultats classiques sur les espaces vectoriels.