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

, де

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

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

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

 

 


Див. такожРедагувати

ЛітератураРедагувати

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