аксиома-определение
Смотреть что такое "аксиома-определение" в других словарях:
Аксиома Архимеда — для отрезков … Википедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
АКСИОМА — (от греч. axioma значимое, принятое положение) исходное, принимаемое без доказательства положение к. л. теории, лежащее в основе доказательств др. ее положений. Долгое время термин «А.» понимался не просто как отправной пункт доказательств, но и… … Философская энциклопедия
Аксиома параллельности Евклида — Пересечения прямых (анимация) Аксиома параллельности Евклида, или пятый постулат одна из аксиом, лежащ … Википедия
Аксиома существования минимума — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Аксиома сущ … Википедия
Аксиома бесконечности — Аксиомой бесконечности (Axiom of infinity) называется следующее высказывание теории множеств: , где Аксиома бесконечности провозглашает существование [по меньшей мере одного] бесконечного множества, то есть множества, которое состоит из … Википедия
Аксиома регулярности — Аксиомой регулярности (иначе аксиомой фундирования, аксиомой основания) называется следующее высказывание теории множеств: , где Словесная формулировка: В любом непустом семействе множеств есть множество , каждый элемент … Википедия
определение аксиоматическое — неявное определение понятия путем указания множества аксиом, в которые оно входит наряду с другими понятиями. Аксиома представляет собой утверждение, принимаемое без доказательства. Совокупность аксиом какой то теории является одновременно и… … Словарь терминов логики
ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ — определение какого либо понятия А(n), зависящего от неотрицательного целого параметра п, протекающее по следующей схеме: а) задается значение А(0); б) задается правило по лучения, значения А(n+1) по пи по значению (п). Типичным И. о. является… … Математическая энциклопедия
непредикативное определение — определение, с помощью которого некоторые объекты вводятся через множества, включающие эти объекты в качестве своих элементов. Напр.: Верхней границей множества действительных чисел называется самое большое число этого множества, т. е. число,… … Словарь терминов логики
СВОДИМОСТИ АКСИОМА — аксиома, добавленная Б. Расселом (В. Russell) к его разветвленной теории типов с целью избежать расслоения понятий (см. Непредикативное определение). В разветвленной теории типов множества данного типа разделяются на порядки. Так, вместо понятия… … Математическая энциклопедия
