Аксіома нескінченності

Матеріал з Вікіпедії — вільної енциклопедії.
Версія від 21:42, 5 жовтня 2015, створена Bunyk (обговореннявнесок)
(різн.) ← Попередня версія • Поточна версія (різн.) • Новіша версія → (різн.)
Перейти до: навігація, пошук

Аксіомою нескінченності (англ. Axiom of infinity) називається наступне висловлювання теорії множин:

, де

Аксіома нескінченності проголошує існування (принаймні однієї) нескінченної множини, тобто множини, яка складається з

Тобто, існує така множина a, що включає в себе пусту множину {} та для будь-якого належного їй елемента b включає також і множину, сформовану як об'єднання b та її синґлетону {b}.

Інші формулювання аксіоми нескінченності[ред.ред. код]


Див. також[ред.ред. код]


Література[ред.ред. код]

Математична логіка Це незавершена стаття з теорії множин.
Ви можете допомогти проекту, виправивши або дописавши її.