Математическая энциклопедия
Одна из аксиом, характеризующих непрерывность прямой линии; заключается в следующем: любая последовательность вложенных друг в друга отрезков, длины к-рых стремятся к нулю, имеет одну общую точку. Сформулирована Г. Кантором (G. Cantor, 1872). БСЭ-3.
Кантора аксиома