Aksjomaty Zermela-Fraenkla: Różnice pomiędzy wersjami

z Kuratowski&Mostowski
m (WP:SK+Bn)
(z Kuratowski&Mostowski)
 
== 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=69}}. W toku dyskusji nad rozwijaną teorią matematycy przekonali się, że ich intuicje dotyczące pojęcia zbioru różnią się między sobą{{odn|Kuratowski|Mostowski|1978|s=67}}.
 
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.
 
== Bibliografia ==
* {{Cytuj książkę |autor = Wojciech Guzicki, Piotr Zakrzewski |tytuł = Wykłady ze wstępu do matematyki: wprowadzenie do teorii mnogości |wydawca = [[Wydawnictwo Naukowe PWN]] |miejsce = Warszawa |rok = 2005 |strony = |isbn = 83-01-14415-7}}
* {{Cytuj | autor = [[Kazimierz Kuratowski]], [[Andrzej Mostowski]] | tytuł = Teoria Mnogości | czasopismo = Monografie | wolumin = 27 | wydanie = trzecie zmienione | miejsce = Warszawa | wydawca = Państwowe Wydawnictwo Naukowe | data = 1978 | opis = Monografie Matematyczne |odn=tak}}
* {{Cytuj książkę |autor = Agnieszka Wojciechowska |tytuł = Elementy logiki i teorii mnogości |wydawca = WN PWN |miejsce = Warszawa |rok = 1979 |strony = |isbn = 83-01-00756-7}}