- АКСИОМА БЕСКОНЕЧНОСТИ
- АКСИОМА БЕСКОНЕЧНОСТИ
-
АКСИОМА БЕСКОНЕЧНОСТИ — см. Множеств теория.
Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
.
Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
.
Аксиома бесконечности — Аксиомой бесконечности (Axiom of infinity) называется следующее высказывание теории множеств: , где Аксиома бесконечности провозглашает существование [по меньшей мере одного] бесконечного множества, то есть множества, которое состоит из … Википедия
Аксиома выбора — Аксиомой выбора называется следующее высказывание теории множеств: «Для каждого семейства непустых непересекающихся множеств существует (по меньшей мере одно) множество , которое имеет только один общий элемент c каждым из множеств данного… … Википедия
БЕСКОНЕЧНОСТИ АКСИОМА — аксиома формальной или содержательной теории, обеспечивающая на . личие бесконечного количества объектов в рассматриваемой теории. Так, Б … Математическая энциклопедия
Аксиома пустого множества — Аксиомой [существования] пустого множества называется следующее высказывание теории множеств Аксиома пустого множества провозглашает существование по меньшей мере одного пустого множества, то есть множества, не содержащего ни одного элемента.… … Википедия
ОБЪЕМНОСТИ АКСИОМА — одна из аксиом теории множеств, утверждающая равенство двух множеств, если они содержат одни и те же элементы: В языке, не содержащем символа равенства и имеющем только один предикатный символ , О. а. имеет вид . Для формализации математики в… … Математическая энциклопедия
Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и у … Википедия
ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… … Википедия
ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… … Философская энциклопедия
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия
логицизм — ЛОГИЦИЗМ одно из трех главных направлений в основаниях математики наряду с интуиционизмом и формализмом. Основоположником Л. можно считать И. Канта, который рассматривал логику как априорно данную, а математические утверждения как… … Энциклопедия эпистемологии и философии науки