Discussione:Teoria degli insiemi di Zermelo-Fraenkel

riporto qua il paragrafo cancellato dalla voce: se qualcuno riesce a capirne il senso e lo rimette in sesto, è il benvenuto. -- .mau. ✉ 15:14, 30 mar 2007 (CEST)

---

Questa teoria l'Assioma della Scelta viene preso come assioma di partenza. Godel chiamò "Insiemi Costrubili" gli Insiemi Infiniti che possono seguire i Nove Assiomi, abbandonò alcuni di questi che intendeva dedurre dai precedenti come teoremi, portando ad una teoria più solida, fondata su un minor numero di assiomi. Fra quelli "abbandonati" rientrava l'Assioma della Scelta e, perciò, la teoria fu chiamata "Teoria Ristretta degli Insiemi Infiniti". I matematici, infatti, sono soliti chiamare Teorie Ristrette quelle che non accettano l'Assioma della Scelta. Godel dimostrò la separabilità del livello d'infinito aleph-zero dal livello aleph-uno nell'ambito della Teoria Ristretta degli Insiemi Infiniti.

Per gli "Insiemi Infiniti Costruibili", o in termini equivalenti nella Teoria Ristretta degli Insiemi Infiniti, l'assioma della scelta e l'ipotesi del continuo divengono così Teorema della Scelta e Teorema del Continuo.

---

Penso che si riferisca agli insiemi costruibili di Gödel. Non mi sembra molto accurato e non penso che sia rilevante per la voce, a parte forse come modello per la teoria di ZF. --Banus 10:48, 31 ott 2007 (CET)

Assioma della scelta

Concordo con Toobaz. L'assioma della scelta fa parte di ZFC, non di ZF. (La C sta per "Choice", per chi se lo chiedesse). Se nessuno è in disaccordo, tra qualche giorno faccio la modifica. -- .mau. ✉ 08:59, 5 giu 2007 (CEST)

Assioma della potenza

Forse c'è un errore nell'assioma della potenza...

... $(\forall D(D\in C\Rightarrow D\in A))$

Non sono esperto di wikipedia, quindi lascio solo un commento. --Sebastiano2.72 10:05, 31 ott 2007 (CET)

non ho capito. Vuoi $\Rightarrow$ invece che $\rightarrow$? -- .mau. ✉ 10:17, 31 ott 2007 (CET)

Non solo. Vorrei $D\in A)))))$ invece di $C\in A)))))$.

Poi ora vedo che sono aperte cinque parentesi tonde, e ne vengono chiuse sei...se non ho contato male. Sono quisquiglie, lo so; ma dato che si tratta di logica...Sebastiano2.72 21:25, 31 ott 2007 (CET)

ok, mi sono rovinato gli occhi ma ho visto e corretto. Comunque la prossima volta basta che tu faccia la correzione, nell'oggetto metti "vedi discussione", e in discussione spieghi il perché l'hai fatto. -- .mau. ✉ 21:35, 31 ott 2007 (CET)

Link inesistente

il link inesistente http://it.wikipedia.org/w/index.php?title=Assiomi_di_von_Neumann-Bernays-G%C3%B6del&action=edit&redlink=1 potrebbe rimandare alla pagina http://it.wikipedia.org/wiki/Teoria_degli_insiemi_di_Von_Neumann-Bernays-G%C3%B6del Marco58