Aksjomat nieskończoności
Aksjomat nieskończoności – jeden z aksjomatów teorii mnogości. Mówi, że istnieje zbiór spełniający dwa następujące warunki:
gdzie S(y) jest następnikiem porządkowym zbioru y:
Oznacza to, że do zbioru należą:
- nazwijmy go
- nazwijmy go
- nazwijmy go
itd.
Zbiór taki jest zbiorem nieskończonym – stąd nazwa aksjomatu.
Zbiór, który składa się z elementów (i żadnych innych), można utożsamić ze zbiorem liczb naturalnych, zbiory zaś utożsamić z liczbami
Zbiór spełniający warunki aksjomatu nazywamy zbiorem induktywnym.
Formalne sformułowanie aksjomatu nieskończoności
Istnieje rodzina zbiorów o następujących własnościach:
- jeśli to w istnieje taki element Y, że
Symbolicznie:
- [1].
Zobacz też
Przypisy
- ↑ Kazimierz Kuratowski, Andrzej Mostowski: Teoria mnogości. Wyd. 3. Warszawa: Państwowe Wydawnictwo Naukowe, 1978, s. 66.
Linki zewnętrzne
- Eric W.E.W. Weisstein Eric W.E.W., Axiom of Infinity, [w:] MathWorld, Wolfram Research (ang.). [dostęp 2024-03-07].
Encyklopedie internetowe (axiom of set theory):
- Britannica: topic/axiom-of-infinity