Oändlighetsaxiomet (infinitetsaxiomet) är ett av de mängdteoretiska axiomen. Det som garanterar att det finns en mängd som omfattar alla naturliga tal:
.
Axiomet uttrycker att det finns en mängd sådan att den har
som element och att för varje element som förekommer i mängden är också det elementets efterföljare element i mängden. Alltså är mängden uppräkneligt oändlig.
Oändlighet (∞) |
---|
| Historia | Kontroversen om Cantors teori | | Omfattande grenar | Icke-standardanalys · Intern mängdteori · Mängdteori · Syntetisk differentialgeometri | | Formaliseringar | Kardinaltal · Hyperreella tal · Infinitesimal · Oändlighet + 1 · Ordinaltal · Surreella tal · Transfinita tal | | Forskare | |
|