-
1 аксиом
-
2 аксиом
axiom -
3 аксиомæ
-
4 аксиомӕ
მათ. აქსიომა -
5 аксиом схема
-
6 набор аксиом
Большой англо-русский и русско-английский словарь > набор аксиом
-
7 независимость аксиом
Большой англо-русский и русско-английский словарь > независимость аксиом
-
8 непротиворечивость аксиом
Большой англо-русский и русско-английский словарь > непротиворечивость аксиом
-
9 пучок аксиом
Большой англо-русский и русско-английский словарь > пучок аксиом
-
10 система аксиом
Большой англо-русский и русско-английский словарь > система аксиом
-
11 множество аксиом равенства
Mathematics: set of axioms for equalityУниверсальный русско-английский словарь > множество аксиом равенства
-
12 набор аксиом
Mathematics: axiom set -
13 независимость аксиом
Mathematics: independence of axiomsУниверсальный русско-английский словарь > независимость аксиом
-
14 непротиворечивость аксиом
Mathematics: consistency of axiomsУниверсальный русско-английский словарь > непротиворечивость аксиом
-
15 пучок аксиом
Mathematics: bundle of axioms -
16 система аксиом
1) Mathematics: set of axioms, system of axioms2) Information technology: axiom scheme3) Makarov: axiomatic system -
17 схема аксиом
Mathematics: axiom scheme -
18 эквивалентность множеств аксиом
Mathematics: equivalence of axiom setsУниверсальный русско-английский словарь > эквивалентность множеств аксиом
-
19 система аксиом
necon. Axiomensystem -
20 система аксиом
mathsystème d’axiomes
См. также в других словарях:
АКСИОМ СХЕМА — единый способ задания аксиом, обладающих одной и той же синтаксич. структурой. Конкретная А. с. обычно реализуется при помощи фиксирующего ее синтаксич. структуру выражения (чаще всего не принадлежащего языку, в к ром записываются аксиомы) и… … Математическая энциклопедия
аксиомæ — з.б.п … Орфографический словарь осетинского языка
аксиом и аксиома — (грч axioma) 1. фил научна вистина јасна сама по себе, вистина за која не е потребен доказ, 2. оснрвна вистина, основно начело, 3. мат став што се усвојува без докази и што не произлегува од порано усвоени аксиоми … Macedonian dictionary
Система аксиом фон Неймана — Cистема аксиом фон Неймана Бернайса Гёделя (NBG, аксиоматика Гёделя Бернайса) в метаматематике одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело Френкеля с … Википедия
Независимость аксиом теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак … Википедия
ГИЛЬБЕРТА СИСТЕМА АКСИОМ — евклидовой геометрии система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения. Основными (неопределяемыми) понятиями в Г. с. а. являются… … Математическая энциклопедия
Независимость системы аксиом — У этого термина существуют и другие значения, см. Независимость (значения). Для улучшения этой статьи желательно?: Викифицировать статью. Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Независимость… … Википедия
Модель системы аксиом — Модель системы аксиом какой либо математический объект, который отвечает данной системе аксиом. Истинность системы аксиом можно доказать, только построив модель в рамках другой системы аксиом, которая считается «истинной». Кроме того,… … Википедия
КАТЕГОРИЧНОСТЬ СИСТЕМЫ АКСИОМ — свойство, выражающее содержат. полноту системы аксиом. Система аксиом наз. категоричной, если она однозначно определяет только одну систему предметов с точностью до изоморфизма, т.е. если все интерпретации, или модели, этой системы изоморфны друг … Философская энциклопедия
НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ — свойство системы аксиом данной аксиоматич. теории, состоящее в том, что каждая аксиома является независимой, т. е. не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, наз.… … Математическая энциклопедия
КАТЕГОРИЧНАЯ СИСТЕМА АКСИОМ — всякая система аксиом 2 , для к рой все алгебраические системы сигнатуры 2, удовлетворяющие этим аксиомам, изоморфны. Из теоремы Мальцева Тарского об элементарном расширении следует, что модели категоричной системы е аксиом 1 го порядка имеют… … Математическая энциклопедия