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
oppure a parole:
|