mmormota,
tényleg mást írt, de jól éreztem, hogy hibás.
vegyél egy nemrákövetkező számosságot, pl. Alef_omega-t.
Alef_omega alatt csak Alef_n, (n természetes) számosságok vannak. Ha tehát igaz, hogy P(Alef_omega)<Alef_omega, akkor =Alef_n, valamilyen n-re. Ami nem lehet, hiszen P(Alef_n)<P(Alef_n+1)<P(Alef_omega) (ÁKH-val). Tehát P(Alef_omega) > Alef_omega, de persze reguláris, pl. Alef_(omega+1).