НЕПРЕРЫВНОСТИ АКСИОМЫ
аксиомы,
выражающие тем или иным образом непрерывность прямой линии. Напр.,
аксиома Дедекинда: если все точки прямой разбиты на два непустых класса,
причём все точки первого класса расположены левее всех точек второго, то
существует либо самая правая точка первого класса, либо самая левая точка
второго; аксиома Кантора: любая последовательность вложенных друг в друга
отрезков, длины к-рых стремятся к нулю, имеет одну общую точку. H. а. дают
возможность устанавливать сохраняющее порядок взаимно однозначное соответствие
между совокупностью всех точек прямой и совокупностью всех действительных
чисел. Д. Гильберт предложил в качестве H. а. Архимеда аксиому
и
аксиому о невозможности присоединения к прямой новых точек с сохранением
аксиом упорядоченности, конгруэнтности и аксиомы Архимеда (аксиома линейной
полноты).
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я