Аксіомою нескінченності (англ.Axiom of infinity) називається наступне висловлювання теорії множин:
, де
Аксіома нескінченності проголошує існування (принаймні однієї) нескінченної множини, тобто множини, яка складається з
Тобто, існує така множина a, що включає в себе пусту множину {} та для будь-якого належного їй елемента b включає також і множину, сформовану як об'єднання b та її синґлетону {b}.
Інші формулювання аксіоми нескінченності[ред. | ред. код]