„Extenzionalitási axióma” változatai közötti eltérés

a
nincs szerkesztési összefoglaló
(Új oldal, tartalma: „Az extenzionalitási axióma (vagy röviden: ''extenzionalitás'') a halmazelméleti axiómarendszerek tipikus axiómája: :Ha az ''x'' és az ''y''...”)
 
a
Az [[extenzionalitási axióma]] (vagy röviden: ''extenzionalitás''; olykor: ''meghatározottsági axióma''<ref>Hajnal-Hamburger [1983], 121.o.</ref>) a [[halmazelmélet|halmazelméleti]] axiómarendszerek tipikus axiómája:
:Ha az ''x'' és az ''y'' halmaznak pontosan ugyanazok az elemei, akkor ''x'' és ''y'' ugyanaz a halmaz.
:<math>\forall x \forall y \, ( \forall z \, ( z \in x \leftrightarrow z \in y ) \rightarrow x = y )</math>
554

szerkesztés