Lehet, hogy azért nincsenek köztes iteráltak, amiért nincs az alefnull és a continuum között sem más számosságok?

Nem látom az összefüggést. A helyzet az, hogy a kontinuumhipotézis független a Zermelo-Frenkel axiómarendszertől.

Lehet, hogy még csak nem foglalkoztak azzal, hogy mi lenne a szorzás és az összeadás között. Nem biztos, hogy szép tulajdonságai lennének.

Elképzeléseim szerint a hiperoperátor is kiterjeszthető lenne, függetlenül a kontinuumhipotézistől. Hiszen annyi mindent kiterjesztettek már.