da otta96 » 22/10/2019, 18:01
In ZF ogni oggetto considerabile è un insieme, quindi ha senso chiedersi se appartiene a sé stesso, per il semplice fatto che dati due qualsiasi insiemi ha senso chiedersi se uno dei due appartiene all'altro.
Quello che succede è che nessun insieme appartiene a sé stesso, più o meno per un assioma, quello di fondazione (che dice una cosa un po' diversa ma all'incirca equivalente).
Per spiegare un po' il senso di questa cosa si può fare appello al senso comune con un esempio : i soldi che hai nel portafogli appartengono ad esso (puoi pensare che appartenere voglia dire che sta dentro), ma il portafoglio non appartiene a sé stesso, lui È il portafoglio.