аксиома-определение

См. также в других словарях:

• Аксиома Архимеда — для отрезков …   Википедия

• ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность …   Философская энциклопедия

• АКСИОМА — (от греч. axioma значимое, принятое положение) исходное, принимаемое без доказательства положение к. л. теории, лежащее в основе доказательств др. ее положений. Долгое время термин «А.» понимался не просто как отправной пункт доказательств, но и… …   Философская энциклопедия

• Аксиома параллельности Евклида — Пересечения прямых (анимация) Аксиома параллельности Евклида, или пятый постулат  одна из аксиом, лежащ …   Википедия

• Аксиома существования минимума — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Аксиома сущ …   Википедия

• Аксиома бесконечности — Аксиомой бесконечности (Axiom of infinity) называется следующее высказывание теории множеств: , где Аксиома бесконечности провозглашает существование [по меньшей мере одного] бесконечного множества, то есть множества, которое состоит из …   Википедия

• Аксиома регулярности — Аксиомой регулярности (иначе аксиомой фундирования, аксиомой основания) называется следующее высказывание теории множеств: , где Словесная формулировка: В любом непустом семействе множеств есть множество , каждый элемент …   Википедия

• определение аксиоматическое — неявное определение понятия путем указания множества аксиом, в которые оно входит наряду с другими понятиями. Аксиома представляет собой утверждение, принимаемое без доказательства. Совокупность аксиом какой то теории является одновременно и… …   Словарь терминов логики

• ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ — определение какого либо понятия А(n), зависящего от неотрицательного целого параметра п, протекающее по следующей схеме: а) задается значение А(0); б) задается правило по лучения, значения А(n+1) по пи по значению (п). Типичным И. о. является… …   Математическая энциклопедия

• непредикативное определение — определение, с помощью которого некоторые объекты вводятся через множества, включающие эти объекты в качестве своих элементов. Напр.: Верхней границей множества действительных чисел называется самое большое число этого множества, т. е. число,… …   Словарь терминов логики

• СВОДИМОСТИ АКСИОМА — аксиома, добавленная Б. Расселом (В. Russell) к его разветвленной теории типов с целью избежать расслоения понятий (см. Непредикативное определение). В разветвленной теории типов множества данного типа разделяются на порядки. Так, вместо понятия… …   Математическая энциклопедия