Cette formulation de l'HC est elle correcte?

[karlp]

Bonjour à tous

Dans un ouvrage, très intéressant, intitulé "Au nom de l'infini", dont un des auteurs se nomme Jean Michel Kantor (nom prédestiné), on peut trouver une formulation de l'hypothèse du continu que je résume ainsi: Tout sous ensemble (infini) de IR est en bijection soit avec IN, le dénombrable, soit avec IR, le continu.
Je ne suis pas compétent pour juger de cette formulation (qui m'apparaît correcte). Mais comme j'ai pu, grâce aux lumières d'un remarquable logicien ci présent sur FS, repérer dans ce même ouvrage une formulation "malheureuse" du théorème de Gödel, je ne suis pas sûr que l'énoncé ci dessus soit acceptable.
Merci !
-----

[Médiat]

Attention de ne pas confondre Jean Michel Kantor et ... I.L. Kantor

Oui, cette formulation est correcte, si IR y est bien défini comme l'ensemble des parties de IN.

[karlp]

Bonjour cher Médiat
La télépathie existe: je m'attendais à ce que vous me donniez la réponse que j'espérais .
Merci !