Aksjomat zastępowania: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m robot dodaje: it:Schema di assiomi di rimpiazzamento |
m Dodanie zdania: "Słabszą wersją '''aksjomatu zastępowania''' jest aksjomat wycinania." |
||
Linia 24:
'''Aksjomat zastępowania''' został dodany przez [[Fraenkel|Fraenkela]] do pierwotnego zbioru [[Aksjomat|aksjomatów]] stworzonego przez [[Zermelo]]. Tak rozbudowany system określa sie mianem [[Teoria mnogości|teorii mnogości]] [[Aksjomaty Zermelo-Fraenkela|Zermelo-Fraenkela]].
Słabszą wersją '''aksjomatu zastępowania''' jest [[aksjomat wycinania]].
[[Kategoria:Teoria mnogości]]
|