EDB — 241

view in whole PDF view in whole HTML

Vista

Italiano

Assiomi di Zermelo–Fraenkel[241]

Vediamo ora brevemente gli assiomi della teoria degli insiemi di Zermelo–Fraenkel.

  1. Assioma di estensionalità, già visto sopra in [1Y8].

  2. [014]

  3. [1Y3]

  4. [026]

  5. [1Y1]

  6. Assioma dell’infinito (si veda [243])

  7. [1Y0]

  8. Assioma di buona fondazione, o di regolarità (si veda [01R])

  9. Assioma di rimpiazzamento

(Abbiamo omesso le definizioni dell’ “Assioma di rimpiazzamento”; si puo trovare in Cap.1 Sez.16 in  [ 3 ] oppure Cap. 1 in [ 14 ] ).

Vi è un ulteriore assioma, l’Assioma della scelta: questo sarà discusso in Sez. [23R].

Nota 52

[2DX]

Nota 53

[01M]

E53

[23W]

E53

[23T]

E53

[252]

E53

[247]

E53

[028]

E53

[248]

E53

[1W4]

E53

[023]

E53

[1Y9]

E53

[01N]

E53

[1YD]

E53

[029]

E53

[01R]

E53

[01W]

E53

[01Y]

E53

[020]

E53

[022]

E53

[024]

Nota 54

[27F]

Scarica PDF
Bibliografia
Indice analitico
  • teoria, formale degli insiemi
  • assiomi, di Zermelo–Fraenkel , si veda teoria formale degli insiemi
  • ZF , si veda teoria formale degli insiemi
  • Zermelo
  • Fraenkel
  • assioma, di estensionalità
  • assioma, dell'infinito
  • assioma, di regolarità
  • assioma, di rimpiazzamento
Stai gestendo il blob in: Multiple languages
Questo contenuto è disponibile in: Italiano Inglese