Les Éléments (en grec ancien / stoïkheïa) est un traité mathématique et géométrique, constitué de 13 livres organisés thématiquement, probablement écrit par le mathématicien grec Euclide vers Il comprend une collection de définitions, axiomes, théorèmes et leur démonstration sur les sujets de la géométrie euclidienne et de la théorie des nombres primitifs.
L'ouvrage est le plus ancien exemple connu d'un traitement axiomatique et systématique de la géométrie et son influence sur le développement de la logique et de la science occidentale est fondamentale. Il s'agit probablement du recueil qui a rencontré le plus de succès au cours de l'Histoire : les Éléments furent l'un des premiers livres imprimés (Venise, 1482) et n'est surpassé que par la Bible pour le nombre d'éditions publiées (largement plus de 1 000). Pendant des siècles, il a fait partie du cursus universitaire standard.
La méthode d'Euclide a consisté à fonder ses travaux sur des définitions, des « demandes » (postulats), des « notions ordinaires » (axiomes) et des propositions (problèmes résolus, au nombre de 470 au total dans les treize livres). Par exemple, le livre I contient 35 définitions (point, ligne, surface, etc.), cinq postulats et cinq notions ordinaires.
Un segment de droite peut être tracé en joignant deux points quelconques.
Un segment de droite peut être prolongé indéfiniment en une ligne droite.
Étant donné un segment de droite quelconque, un cercle peut être tracé en prenant ce segment comme rayon et l'une de ses extrémités comme centre.
Tous les angles droits sont congruents.
Si deux lignes droites sont sécantes avec une troisième de telle façon que la somme des angles intérieurs d'un côté est inférieure à deux angles droits, alors ces deux lignes sont forcément sécantes de ce côté.
Deux choses égales à une troisième sont aussi égales entre elles.
Si des grandeurs égales sont ajoutées à d'autres grandeurs également égales entre elles, leurs sommes sont égales.
Si des grandeurs égales sont soustraites à d'autres grandeurs égales, leurs différences sont égales.