Большая Советская Энциклопедия (ДЕ)

Дедекинда аксиома

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