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

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:

Viited

  1. ↑ Kaasik, Ü. (2002). Matemaatikaleksikon. Tartu.
Allikas: https://et.wikipedia.org/wiki/L%C3%B5pmatuse_aksioom
No tags for this post.