Aksjomaty Zermela-Fraenkla: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
→Uwagi: źródła/przypisy |
z Kuratowski&Mostowski |
||
Linia 5:
== Historia ==
W przeszłości zbiory pojmowano intuicyjnie. Uważano na przykład, że każda właściwość pociąga za sobą istnienie odpowiadającego jej zbioru elementów, którym ta właściwość przysługuje. Takie pojmowanie teorii mnogości prowadziło jednak do sprzeczności, wśród których wymienić można [[antynomia Russella|antynomię Russela]] (mianowicie przyjmując za cechę niebycie własnym elementem <math>x \not \in x</math> otrzymuje się zbiór, który należy do siebie samego wtedy i tylko wtedy, kiedy do siebie nie należy{{odn|Kuratowski|Mostowski|1978|s=
Pierwszą próbę skonstruowania takiego systemu podjął Zermelo w 1904. Wprowadził jako [[pojęcie pierwotne|pojęcia pierwotne]] swej teorii [[zbiór]] oraz relację ''bycia elementem'' <math>\in</math>. Pomysł Zermelo obejmował aksjomaty jednoznaczności, zbioru pustego, sumy zbiorów, zbioru potęgowego, nieskończoności oraz aksjomat o pozdbiorach dla danej formuły. Sformułowanie tego ostatniego zostało w pracy Zermela uznane za niejasne{{odn|Kuratowski|Mostowski|1978|s=70}}.
W 1908 roku Ernst Zermelo zaproponował pierwszy zestaw [[aksjomat]]ów teorii mnogości: teorię mnogości Zermela. Ta aksjomatyczna teoria nie umożliwiała konstrukcji [[liczby porządkowe|liczb porządkowych]]. Choć większość „zwykłej matematyki” można wyprowadzić bez ich używania, jednak liczby porządkowe są nieodzowne w większości badań teoriomnogościowych<ref group="uwaga" name="ao" />. Ponadto jeden z aksjomatów Zermela odwoływał się do bliżej niewyjaśnionego pojęcia „określonej” właściwości. W 1922 roku Abraham Fraenkel i [[Thoralf Skolem]] zaproponowali, niezależnie, uściślenie pojęcia „określoności” właściwości jako takich, które mogą zostać sformułowane w [[rachunek predykatów pierwszego rzędu|rachunku predykatów]] z [[równość (matematyka)|równością]], w którym jedynym symbolem spoza logiki jest binarny predykat „należenia do”, oznaczany symbolem ∈. Również niezależnie od siebie, zaproponowali oni zastąpienie [[aksjomat podzbiorów|aksjomatu podzbiorów]] przez [[aksjomat zastępowania]]. Stosując wspomniany schemat oraz dodając do teorii mnogości Zermela [[aksjomat regularności]], zaproponowany przez Zermela w 1930 roku, otrzymuje się teorię ZF.
| |||