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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

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

, де

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

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

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


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


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

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