Большая Советская энциклопедия - дедекинда аксиома

одна из аксиом непрерывности (см. Непрерывности аксиомы). Д. а. гласит: если все точки прямой разбиты на два непустых класса, причём все точки первого класса расположены левее всех точек второго, то существует либо самая правая точка первого класса, либо самая левая точка второго. Сформулирована немецким математиком Р. Дедекиндом (1872).

Большая советская энциклопедия. — М.: Советская энциклопедия

1969—1978

.