Більш швидкий доступ, ніж браузер!
16 відносини: Z-нотація, Парадокс Кантора, Парадокс Расселла, Аксіома схеми виділення, Аксіома регулярності, Аксіома булеана, Аксіома вибору, Аксіома нескінченності, Аксіома об'єднання, Аксіома об'ємності, Аксіома пари, Аксіома порожньої множини, Аксіоматика теорії множин, Синґлетон (математика), Теорія множин, Теорія множин Цермело.
Z-нотація
Z-нотація (Z notation, зед) — формальна мова для написання специфікацій для інформаційних систем та модулів.
Новинка!!: Теорія множин Цермело — Френкеля і Z-нотація · Побачити більше »
Парадокс Кантора
Парадокс Кантора — парадокс, сформульований Георгом Кантором, який демонструє, що припущення про існування множини всіх множин, веде до протиріч.
Новинка!!: Теорія множин Цермело — Френкеля і Парадокс Кантора · Побачити більше »
Парадокс Расселла
Бертран Расселл 1916 року Парадо́кс Ра́сселла (антиномія Расселла, також парадокс Расселла — Цермело) — відкритий 1901 року Бертраном Расселлом теоретико-множинний парадокс (антиномія), що демонструє суперечливість логічної системи Фреге, яка була ранньою спробою формалізації наївної теорії множин Георга Кантора.
Новинка!!: Теорія множин Цермело — Френкеля і Парадокс Расселла · Побачити більше »
Аксіома схеми виділення
У теорії множин та області логіки, математики та інформатики, які її використовують, аксіома схеми виділення, аксіома схеми поділу, аксіома схеми підмножин або аксіома схеми обмеженого розуміння, являють собою схему з аксіоми Цермело-Френкеля.
Новинка!!: Теорія множин Цермело — Френкеля і Аксіома схеми виділення · Побачити більше »
Аксіома регулярності
Аксіома регулярності (аксіома фундування) — одна з аксіом теорії множин Цермело-Френкеля (ZF) (з 1930).
Новинка!!: Теорія множин Цермело — Френкеля і Аксіома регулярності · Побачити більше »
Аксіома булеана
Аксіома існування булеана (аксіома множини підмножин) формулюється так: «з будь-якої множини можна утворити булеан, тобто таку множину ~ d, яка складається з усіх власних і невласних підмножин ~ b даної множини ~ a».
Новинка!!: Теорія множин Цермело — Френкеля і Аксіома булеана · Побачити більше »
Аксіома вибору
В математиці, аксіома вибору — аксіома теорії множин, яка еквівалентна твердженню, що декартів добуток колекції не порожніх множин є також не порожнім.
Новинка!!: Теорія множин Цермело — Френкеля і Аксіома вибору · Побачити більше »
Аксіома нескінченності
Аксіомою нескінченності (Axiom of infinity) називається наступне висловлювання теорії множин: Аксіома нескінченності проголошує існування (принаймні однієї) нескінченної множини, тобто множини, яка складається з ~ \varnothing, \qquad \, \qquad \, \qquad \, \quad...
Новинка!!: Теорія множин Цермело — Френкеля і Аксіома нескінченності · Побачити більше »
Аксіома об'єднання
Аксіомою об’єднання називають таке висловлення теорії множин: Аксіому об’єднання можна сформулювати таким чином: «З будь-якого сімейства ~ a множин ~ b можна утворити як мінімум одну таку множину ~ d, кожен елемент ~ c якої належить хоча б одній множині ~ b даного сімейства ~ a.».
Новинка!!: Теорія множин Цермело — Френкеля і Аксіома об'єднання · Побачити більше »
Аксіома об'ємності
Аксіомою об'ємності називається наступне висловлювання теорії множин: Якщо переписати аксіому об'ємності у вигляді тоді дану аксіому можна сформулювати так.
Новинка!!: Теорія множин Цермело — Френкеля і Аксіома об'ємності · Побачити більше »
Аксіома пари
Аксіомою пари називається наступне висловлення теорії множин: Аксіому пари можна сформулювати наступним чином: «Із двох довільних множин можна утворити невпорядковану пару, тобто таку множину ~ c, кожний елемент якої ~ b ідентичний даній множині ~ a_1 або даній множині ~ a_2».
Новинка!!: Теорія множин Цермело — Френкеля і Аксіома пари · Побачити більше »
Аксіома порожньої множини
Аксіомою порожньої множини називається наступне висловлювання теорії множин Аксіома порожньої множини проголошує існування принаймні однієї порожньої множини, тобто множини, яка не містить ні одного елемента.
Новинка!!: Теорія множин Цермело — Френкеля і Аксіома порожньої множини · Побачити більше »
Аксіоматика теорії множин
Сучасна теорія множин, яка лежить в основі математичної науки, базується на системі аксіом, які приймаються без доведення і з яких виводяться усі теореми та твердження теорії множин.
Новинка!!: Теорія множин Цермело — Френкеля і Аксіоматика теорії множин · Побачити більше »
Синґлетон (математика)
В математиці, сінґлетон - це множина з одним єдиним елементом.
Новинка!!: Теорія множин Цермело — Френкеля і Синґлетон (математика) · Побачити більше »
Теорія множин
перетин двох множин Тео́рія множи́н — розділ математики, в якому вивчаються загальні властивості множин (переважно нескінченних).
Новинка!!: Теорія множин Цермело — Френкеля і Теорія множин · Побачити більше »
Теорія множин Цермело
Теорія множин Цермело - теорія множин, що включає в себе 7 аксіом опублікована німецьким математиком Ернстом Цермело у 1908 році.
Новинка!!: Теорія множин Цермело — Френкеля і Теорія множин Цермело · Побачити більше »
Перенаправлення тут:
ZFC, Аксіоматика Цермело — Френкеля, Система аксіом Цермело — Френкеля, Система аксіом Цермело—Френкеля, Теорія множин Цермело-Френкеля, Теорія множин Цермело-Френкеля з аксіомою вибору.
