Aksjomaty Zermela-Fraenkla: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Wyrzuciłem niepotrzebny apostrof w "Fraenkel'a". |
zbędne |
||
Linia 2:
'''Aksjomaty Zermelo-Fraenkela''', w skrócie: '''aksjomaty ZF''' – powszechnie przyjmowany system [[aksjomat]]ów zaproponowany przez [[Ernst Zermelo|Ernsta Zermelo]] w [[1904]] roku, który został później uzupełniony przez [[Abraham Fraenkel|Abrahama Fraenkela]].
Dodając do ''ZF'' [[aksjomat wyboru]], bądź zdanie mu równoważne, otrzymuje się '''teorię ZFC'''
== Historia ==
|