Otwórz menu główne

Zmiany

Usunięte 68 bajtów ,  1 rok temu
m
Anulowanie wersji 51430194 autora 89.64.15.188 (dyskusja), Potrzebne źródło
{{spis treści}}
'''Aksjomaty Zermela'''<ref group = uwaga>W literaturze przedmiotu dominuje dopełniacz nazwiska w postaci nieodmienionej, czyli „aksjomaty '''Zermelo'''”, co jest niezgodne z polskimi zasadami deklinacji; sporadycznie pojawia się, również niepoprawna, forma „'''Zermeli'''”.</ref>'''-Fraenkla'''<ref group = uwaga>Znacznie rzadziej występuje oboczność '''„Fraenkela”'''.</ref>, '''aksjomatyka Zermela-Fraenkla''' – powszechnie przyjmowany układ aksjomatów [[teoria mnogości|teorii mnogości]] zaproponowany przez [[Ernst Zermelo|Ernsta Zermela]] w 1904 roku i później uzupełniony przez [[Abraham Fraenkel|Abrahama Fraenkla]]. Tym, co w istocie Fraenkel dodał do teorii Zermela, były [[funkcja|funkcje]]<ref group="uwaga" name="ao">Umożliwiają one m.in. konstrukcję <math>\aleph_\omega</math>. Przykładowo <math>2^{\aleph_0}</math> może być równe m.in. <math>\aleph_1</math>, czy <math>\aleph_2</math>… (jedynym ograniczeniem na <math>2^x</math> jest <math>\mathrm{cf}(2^x) > x</math>, zob. [[współkońcowość]]). Pierwszym zbiorem, którym nie może być <math>2^{\aleph_0}</math> jest <math>2^{\aleph_\omega}</math>.</ref> (pod postacią [[#Aksjomat zastępowania|aksjomatu zastępowania]]).
 
Dla aksjomatyki Zermela-Fraenkla stosuje się często wygodną symbolikę '''ZF'''. Ze względu na specyfikę jednego z jej aksjomatów zwanego [[aksjomat wyboru|aksjomatem wyboru]], stosuje się także obok '''ZF''' oznaczenie '''ZFC''' dla zaznaczenia, że dowód jakiegoś twierdzenie wymaga lub nie wymaga zastosowania aksjomatu wyboru.
49 132

edycje