Assioma di estensionalità: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
m Cambio sintassi logica
Riga 3:
Nel [[Linguaggio formale (matematica)|linguaggio formale]] degli assiomi di Zermelo-Fraenkel, l'assioma è scritto:
 
:<math>\forall A, \forall B:, \quad A=B \iff (\forall C:, \quad C \in A \iff C \in B)</math>
 
oppure a parole: