Wikipedia

Teoria degli insiemi di Zermelo: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
+senza fonti +Controllare
Anserte (discussione | contributi)
144 modifiche
Nessun oggetto della modifica
Riga 3:
 
 
ConIn la[[teoria soladegli letterainsiemi|teoria '''Z'''degli insiemi]], ocon alla piùlettera conmaiuscola '''ZCZ''' (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|Ernst Zermelo]], e pubblicata nel [[1908|1908]].
Con la [[teoria assiomatica degli insiemi|teoria assiomatica degli insiemi]] '''Z''' (di Zermelo) si evitano tutti i [[paradossi|paradossi]] della [[teoria ingenua degli insiemi|teoria ingenua]], cioè quella originaria creata da Georg Cantor negli anni 1872-1899 (chiamata appunto "ingenua" a causa dei paradossi (vedi [[paradosso di Russell|paradosso di Russell]], [[paradosso di Burali-Forti|paradosso di Burali-Forti]] etc.)
 
Tale [[assiomatizzazione|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.
Estratto da "https://it.wikipedia.org/wiki/Teoria_degli_insiemi_di_Zermelo"