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: ∃ I ( ∅ ∈ I ∧ ∀ x ∈ I ( ( x ∪ { x } ) ∈ I ) ) . {\displaystyle \exists \mathbf {I} \,(\emptyset \in \mathbf {I} \,\land \,\forall x\in \mathbf {I} \,(\,(x\cup \{x\})\in \mathbf {I} )).}