Teoria degli insiemi di Zermelo: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Anserte (discussione | contributi)
Nessun oggetto della modifica
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|1908]].
 
Tale assiomatizzazione è la stessa di [[ZFC|ZFC]], meno due [[assioma|assiomi]]: l'[[assioma di rimpiazzamento|assioma di rimpiazzamento]], introdotto contemporaneamente ([[1922|1922]]) da [[Adolf Abraham Halevi Fraenkel|Adolf Abraham Fraenkel]] e [[Thoralf Skolem|Thoralf Skolem]], e l'[[assioma di fondazione|assioma di fondazione]], introdotto da [[John Von Neumann|Von Neumann]] e dallo stesso Zermelo negli anni '30.
In particolare, Skolem contribuì a definire alcune nozioni oscure dell'assiomatizzazione del 1908.