Teoria degli insiemi di Zermelo: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Anserte (discussione | contributi)
Nuova pagina: Con la sola lettera '''Z''', o al più con ZC (per indicare che nella teoria è presente l'assioma di scelta (choice), s'intende, in teoria d...
 
Anserte (discussione | contributi)
Nessun oggetto della modifica
Riga 1:
Con la sola lettera '''Z''', o al più con '''ZC''' (per indicare che nella teoria è presente l'[[assioma della scelta|assioma di scelta (choice)]], s'intende, in [[teoria degli insiemi||teoria degli insiemi]], la versione assiomatica della [[teoria ingenua degli insiemi|teoria ingenua degli insiemi]] di [[Georg Cantor|Cantor]] costruita da [[Ernst Zermelo|Ernest Zermelo]], e pubblicata nel 1908.
Tale assiomatizzazione è la stessa di [[ZFC|ZFC]],a meno dell'[[assioma di rimpiazzamento|assioma di rimpiazzamento]], introdotto contemporaneamente (1922) da [[Adolf Abraham Halevi Fraenkel|Adolf Abraham Fraenkel]] e [[Thoralf Skolem|Thoralf Skolem]], e dell'[[assioma di fondazione|assioma di fondazione]], introdotto da Von Neumann e dallo stesso Zermelo negli anni '30.
In particolare, Skolem contribuì a definire alcune nozioni oscure dell'assiomatizzazione del 1908.
Ciononostante, il fondamentale contributo di Skolem non è menzionato nell'abbreviazione '''ZF'''.