EDB — 241

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]↺↻.

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]↺↻