EDB — 04M

[04M] Prerequisiti:[02S]↺↻, [04G]↺↻. Mostrate che un insieme \(A\) è Dedekind–infinito se e solo se è infinito (secondo la definizione vista all’inizio del capitolo).

Nota: secondo [ , la precedente equivalenza non può essere dimostrata usando solo gli assiomi di ZF (Zermelo–Fraenkel senza l’assioma della scelta) ; la precedente equivalenza può essere dimostrata usando gli assiomi di ZFC (Zermelo–Fraenkel con l’assioma della scelta); ma la sua validità in ZF è più debole dell’assioma della scelta.

[[1ZC]↺↻]