„Extenzionalitási axióma” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
16. sor:
* Andrzej Kisielewicz különös ''kétepszilonos halmazelméletének'' (''double extension set theory'') különféle változatai a következő formában mondják ki az extenzionalitási axiómát:
:<math>\forall x \forall y \, ( \forall z \, ( z \in x \leftrightarrow z \,\mathop{\epsilon}\, y ) \rightarrow x = y )</math>
:(Itt <math>\in</math> és <math>\epsilon</math> két különböző tartalmazási reláció.)
== Jegyzetek ==
|