Hippopotame (./47) :
Nan nan Aleph_1 c'est le plus petit cardinal strictement supérieur à Aleph_0
(la suite des Aleph_x, c'est la suite strictement croissante de *tous* les cardinaux)

Ah OK.
Donc si on accepte l'hypothèse du continu, on a « aleph₁ = 2^aleph₀ », et si on la refuse, on a « aleph₁ < 2^aleph₀ », c'est bien ça ?

Hippopotame (./47) :
Et il y a donc aussi des normes qui ne sont pas des "norme k", même pour k non entier.

Exemples ?