En matematiko, aksiomo de kalkulebleco estas propraĵo de certaj matematikaj objektoj kiu postulas ekziston de kalkulebla aro kun certaj propraĵoj; sen la aksiomo ĉi tiaj aroj povus ne ekzisti.
Gravaj aksiomoj de kalkulebleco por topologiaj spacoj estas:
Rilatoj:
- Ĉiu unua kalkulebla spaco estas vica.
- Ĉiu dua-kalkulebla spaco estas unua-kalkulebla, apartigebla, kaj de Lindelöf.
- Ĉiu σ-kompakta spaco estas de Lindelöf.
- Metrika spaco estas unua-kalkulebla.
- Por metrikaj spacoj dua-kalkulebleco, disigebleco kaj la propraĵo de Lindelöf estas ĉiuj ekvivalentaj.
Aliaj ekzemploj:
