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