Lõpmatuse aksioom
Mine navigeerimisribale
Mine otsikasti
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[muuda | muuda lähteteksti]
- ↑ Kaasik, Ü. (2002). Matemaatikaleksikon. Tartu.