Otwórz menu główne

Zmiany

uzupełnienie ZF+ZFC
{{spis treści}}
'''Aksjomaty Zermela'''<ref group = uwaga>W literaturze dominuje nieodmieniona forma dopełniacza „aksjomaty '''Zermelo'''”, co jest niezgodne z polskimi zasadami odmiany nazwisk, sporadycznie pojawia się forma „'''Zermeli'''” odmieniona wg niewłaściwej deklinacji </ref>'''-Fraenkla'''<ref group = uwaga>w literarurze sporadycznie występuje forma '''„Fraenkela”'''</ref>, '''aksjomatyka Zermela-Fraenkla''', w skrócie: '''aksjomaty'''('''ka''') '''ZF''' – 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]].
 
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.
 
== Historia ==