axiome de Cantor-Dedekind
- Énoncé aux termes duquel si, sur une droite D, on reporte les points A1, A2, …, An, d'une part, les points B1, B2, …, Bn d'autre part, les abscisses des premiers formant une suite an non décroissante de nombres rationnels, celles des seconds une suite bn non croissante, la différence bn − an restant positive et tendant vers zéro, les segments emboîtés [AnBn] ont un point commun unique M, auquel correspond suivant les cas un nombre rationnel ou un nombre irrationnel.
Synonyme :
axiome de continuité
