аксиома кантора

  • 1НЕПРЕРЫВНОСТИ АКСИОМА — аксиома, выражающая тем или иным образом непрерывность множества действительных чисел. Н. а. действительных чисел может быть сформулирована, напр., в терминах сечений действительных чисел: всякое сечеяие действительных чисел определяется нек рым… …

    Математическая энциклопедия

  • 2Кантора аксиома —         одна из аксиом, характеризующих непрерывность прямой линии; заключается в следующем: любая последовательность вложенных друг в друга отрезков, длины которых стремятся к нулю, имеет одну общую точку. Сформулирована Г. Кантором (1872) …

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

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

    Математическая энциклопедия

  • 4Теорема Кантора — Бернштейна — Теорема Кантора  Бернштейна (в англ. литературе теорема Кантора  Бернштейна  Шрёдера), утверждает, что если существуют инъективные отображения и между множествами A и B, то существует взаимооднозначное отображение …

    Википедия

  • 5ГИЛЬБЕРТА СИСТЕМА АКСИОМ — евклидовой геометрии система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения. Основными (неопределяемыми) понятиями в Г. с. а. являются… …

    Математическая энциклопедия

  • 6Непрерывности аксиомы —         аксиомы, выражающие тем или иным образом Непрерывность прямой линии. Например, аксиома Дедекинда: если все точки прямой разбиты на два непустых класса, причём все точки первого класса расположены левее всех точек второго, то существует… …

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

  • 7Евклидова геометрия —         геометрия, систематическое построение которой было впервые дано в 3 в. до н. э. Евклидом. Система аксиом Е. г. опирается на следующие основные понятия: точка, прямая, плоскость, движение и следующие отношения: «точка лежит на прямой на… …

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

  • 8Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …

    Википедия

  • 9БЕСКОНЕЧНОЕ —         филос. категория, характеризующая неисчерпаемость материи и движения, многообразие явлений и предметов материального мира, форм и тенденций его развития. Признавая объективное существование Б. в природе, диалектич. материализм отвергает… …

    Философская энциклопедия

  • 10Непрерывность множества действительных чисел — Непрерывность действительных чисел  свойство системы действительных чисел , которым не обладает множество рациональных чисел . Иногда вместо непрерывности говорят о полноте системы действительных чисел[1]. Существует несколько различных… …

    Википедия