Lõpmatuse aksioom

Lõpmatuse aksioom on hulgateooria aksioom, mis tagab vähemalt ühe lõpmatu hulga olemasolu.

Zermelo-Fraenkeli hulgateoorias tagab lõpmatuse aksioom induktiivselt moodustatud loenduva hulga ja seeläbi ka naturaalarvude hulga olemasolu. Formaalselt saab lõpmatuse aksioomi esitada kujul:

$\mathrm{\exists }𝐈(\mathrm{\varnothing }\in 𝐈\wedge \mathrm{\forall }x\in 𝐈((x\cup \{x\})\in 𝐈)).$