Assioma di estensionalità: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
mNessun oggetto della modifica |
|||
Riga 35:
Gli ur-elementi possono essere trattati come un diverso [[tipo logico]] rispetto agli insiemi; in questo caso <math>B \in A</math> non ha senso se <math>A</math> è un ur-elemento, quindi l'assioma di estensionalità si applica solo agli insiemi.
Alternativamente, in una logica non tipizzata, possiamo richiedere che <math>B \in A</math> sia falso tutte le volte che <math>A</math> è
In questo caso l'usuale assioma di estensionalità implicherebbe che ogni ur-elemento sia uguale all'[[insieme vuoto]].
Per evitare questo, possiamo modificare l'assioma di estensionalità in modo che si applichi solo agli insiemi non vuoti, cioè:
| |||