Wersja z 10:02, 23 cze 2006 edytuj Alef (dyskusja \| edycje) Redaktorzy 707 edycji m italics. D,C -> x,y ← poprzednia edycja		Wersja z 22:32, 24 cze 2006 edytuj anuluj edycję Kocic (dyskusja \| edycje) 3 edycje zastapienie dwukropka nawiasami dla jasnosci zapisu następna edycja →
Linia 5: Niech ''P''(''x'',''y'') bedzie dwuargumentowym predykatem nie zawierającym ''A'' ani ''B''. '''Aksjomat zastępowania''' stwierdza :<math>(\forall x, \exist! y: P(x, y)) \rightarrow \forall A, \exist B, \forall y:( y \in B \iff \exist x: x \in A \and P(x, y))</math> :tzn. jeśli ''P'' jest taki, że dla każdego zbioru ''x'' istnieje dokładnie jeden zbiór ''y'' taki, że ''P''(''x'',''y'') wtedy dla dowolnego zbioru ''A'' istnieje taki zbiór ''B'', ze ''y'' należy do ''B'' wtedy i tylko wtedy gdy w ''A'' istnieje taki element ''x'', ze ''P''(''x'', ''y'').

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