Wikipedia

Aksjomat zastępowania: Różnice pomiędzy wersjami

Przeglądaj historię interaktywnie
[wersja przejrzana][wersja przejrzana]
← poprzednia edycjanastępna edycja →
Usunięta treść Dodana treść
WizualnieWikikod
TXiKiBoT (dyskusja | edycje)
357 468 edycji
m poprawa linków
Linia 23:
Intuicyjnie - aksjomat ten stwierdza, że dla danego [[Funkcyjny predykat|predykatu funkcyjnego]] ''F'' i zbioru ''A'' istnieje zbiór będący obrazem ''F'' na ''A'' (często nazywany ''F''[''A'']).
 
Aksjomat zastępowania został dodany przez [[AdolfAbraham Fraenkel|Fraenkela]] do pierwotnego zbioru [[Aksjomat|aksjomatów]] stworzonego przez [[Ernst Zermelo|Zermelo]]. Tak rozbudowany system określa się mianem [[Teoria mnogości|teorii mnogości]] [[Aksjomaty Zermelo-Fraenkela|Zermelo-Fraenkela]].
 
Słabszą wersją aksjomatu zastępowania jest [[aksjomat wycinania]].
Źródło: „https://pl.wikipedia.org/wiki/Aksjomat_zastępowania”