„Naiv halmazelmélet” változatai közötti eltérés

Nincs szerkesztési összefoglaló
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>{\(R=\{x\mid x\notin x\}}\,\!</math>) azaz
 
:<math>{x\in R \Leftrightarrow x\notin x}\,\!</math>, így <math>{x}</math>-ben saját magát <math>{R}</math>-et szerepeltetve:
Névtelen felhasználó