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

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

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

, де

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

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

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


Див. також


Література

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