Порядковый номер
Порядковый номер Определение ординалов фон Неймана Ординалы фон Неймана — это упорядоченные множества натуральных чисел, которые не имеют наибольшего элемента. […]
Вики
Обоснованность
Вики
Необоснованная теория множеств
Необоснованная теория множеств Основы теории множеств Необоснованные теории множеств нарушают правило обоснованности, позволяя множествам быть элементами самих себя. Дмитрий Мириманов
Вики
Эпсилон-индукция
Эпсилон-индукция Определение и применение принципа индукции Принцип индукции утверждает, что если свойство верно для всех элементов множества, то оно верно
Вики
Аксиома регулярности
Аксиома регулярности Аксиома основания Аксиома утверждает, что каждое непустое множество имеет непустое подмножество. В теории множеств ZF аксиома является аксиомой
Вики
Эпсилон-индукция
Эпсилон-индукция Основы индукции множеств Индукция множеств — это принцип, который утверждает, что если свойство верно для всех элементов множества, то
Вики
Аксиома регулярности
Аксиома регулярности Аксиома основания Аксиома утверждает, что каждое непустое множество имеет непустое подмножество. В теории множеств ZF аксиома является аксиомой
Вики
Аксиома регулярности
Аксиома регулярности Аксиома основания Цермело Аксиома утверждает, что каждое множество имеет основание, то есть непустое подмножество, которое не является элементом
Вики
Необоснованная теория множеств
Необоснованная теория множеств Основы теории множеств Необоснованные теории множеств нарушают правило обоснованности, позволяя множествам быть элементами самих себя. Дмитрий Мириманов
Вики
Порядковый номер
Порядковый номер Определение ординалов Ординалы — это упорядоченные множества натуральных чисел, которые не имеют наибольшего элемента. Порядковый номер — это
Вики
Принцип упорядоченности
Принцип упорядочивания Принцип упорядоченности гласит, что каждое непустое подмножество натуральных чисел содержит наименьший элемент. Фраза «принцип правильного упорядочения» иногда воспринимается
Вики
Structural induction — Wikipedia
Структурная индукция Структурная индукция — метод доказательства теорем, основанный на индукции по структурам. Структурная индукция эквивалентна принципу упорядоченности. Метод позволяет
Вики
Well-founded relation — Wikipedia
Обоснованные отношения В математике бинарное отношение R называется обоснованным для множества или класса X, если каждое непустое подмножество S ∈
Вики
Лучший квазиупорядочение
Лучшее квазиупорядочение В теории упорядочения квазиупорядочение с улучшением (bqo) не допускает определенного типа плохого массива. Каждое лучшее квазиупорядочение является хорошим
Вики
Состояние восходящей цепи
Состояние восходящей цепочки Условие восходящей цепочки (ACC) и условие нисходящей цепочки (DCC) используются в абстрактной алгебраической теории размерностей. Частично упорядоченное
Вики
Колодец-квазиупорядочение
Хорошо организованный квазиупорядоченный Wqo — это упорядоченное множество, в котором каждое подмножество имеет наименьший элемент. Wqo является обобщением частичных порядков
Вики
Предварительный заказ
Предварительный заказ Предварительное упорядочивание — свойство класса pointclass, определяющее порядок элементов. Свойство сокращения позволяет разделить набор элементов на непересекающиеся подмножества.
Вики
Обоснованные отношения
Обоснованные отношения В математике бинарное отношение R называется обоснованным для множества или класса X, если каждое непустое подмножество S ∈
Вики
Нётерово топологическое пространство
Нетерово топологическое пространство Нетерово топологическое пространство удовлетворяет условию нисходящей цепочки для замкнутых подмножеств. Нетерово свойство топологического пространства эквивалентно сильному условию
Вики
Ну-порядок
Хороший порядок Порядок — это отношение между элементами множества, которое определяет их порядок. Множество может быть частично упорядочено или полностью
Вики
Аксиома регулярности
Аксиома регулярности Аксиома Цермело — это аксиома, утверждающая, что каждое множество имеет основание. Основание множества — это множество, которое содержит
Вики
Универсальный набор
Универсальный набор Универсальное множество — это множество, содержащее все множества. Идея универсального множества кажется интуитивно желательной в теории множеств Цермело-Френкеля.