Du hast recht, die Kontinuumshypothese ist von ZFC unabhängig. Das hat aber nichts damit zu tun, dass unter der Voraussetzung der Kontinuumshypothese die Kontinuumshypothese (aleph_1 = card R) richtig ist. Nur ist diese Aussage nicht besonders gehaltvoll, da geb ich dir recht. Der Absatz sollte überarbeitet werden, und die Aussage der Kontinuumshypothese herausgestellt werden (nicht zu viel, denn für Details gibts ja den Artikel Kontinuumshypothese).