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.
Fondements des mathématiques
Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : "la généralité de son discours" et "la déductibilité" du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ». Par exemple, la définition logique du nombre, loin d’être réduite à l’opération concrète de dénombrement d’objets, consiste en la référence à l’égalité numérique de deux classes (deux classes ont le même nombre s’il est possible d’instaurer entre leurs éléments respectifs une relation bijective). Le logicisme a rencontré néanmoins, à ses débuts, de réelles difficultés en tant qu’il s'engage ontologiquement par rapport aux classes. La théorie des classes avait conduit à des paradoxes logiques maintenant résolus mais qui avaient mis au jour la nécessité de clarifier les axiomes.