аксиома объединения не содержит алгоритм нахождения всех элементов образуемого множества d {\displaystyle d} . Аксиоматика теории множеств Аксиома множества...

Предпоследняя аксиома теории ZC (аксиома выбора) стала предметом оживлённых математических дискуссий. Действительно, эта аксиома не является следствием «аксиомы математической...

случае для бесконечных семейств аксиома выбора не следует из других аксиом и является независимым утверждением. Аксиома выбора была сформулирована и опубликована...

которой аксиома бесконечности заменена ее отрицанием. Среди теорем, которые могут быть доказаны в ZFC, но не могут быть доказаны с помощью аксиом Пеано...

последовательности множеств, где каждое следующее является элементом предыдущего». Аксиома фундирования указана П. Бернайсом и К. Гёделем в 1941 году и заменила аксиому...

одного класса в другой. Аксиома существования пары является аксиомой в теории множеств Цермело и теоремой в ZFC. Аксиома объединения. Для каждого множества...

В теории динамических систем, Аксиома А — предложенное Стивом Смейлом условие на динамическую систему: Неблуждающее множество гиперболично, а периодические...

Аксиома детерминированности — аксиома теории множеств, обычно обозначаемая AD. Эту аксиому предложили в 1962 году польские математики Ян Мычельский и...

множество с определённой на нём бинарной операцией, удовлетворяющей некоторым аксиомам. Группа — в лингвистике, составляющая синтаксической структуры, включающая...

Аксиома счётного выбора — аксиома теории множеств, обычно обозначаемая A C ω . {\displaystyle \mathbf {AC} _{\omega }.} Аксиома утверждает, что для любого...

выписанными ниже аксиомами структура булевой алгеброй? Аксиоматизация алгебры Роббинса: Аксиома коммутативности: x + y = y + x. Аксиома ассоциативности:...