„Naiv halmazelmélet” 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
Nincs szerkesztési összefoglaló |
|||
30. sor:
Mivel az <math>\mbox{ }_{x\notin x}</math> kijelentésben összességek is szerepelhetnek és az összességeket egyértelműen meghatározza a definiáló tulajdonságuk, így a <math>\mbox{ }_{x\notin x}</math> kijelentésből könnyen csinálhatunk saját magára hivatkozó mondatot:
:
:<math>{x\in R \Leftrightarrow x\notin x}\,\!</math>, így <math>{x}</math>-ben saját magát <math>{R}</math>-et szerepeltetve:
|