...lo spazio e' praticamente infinito, ed e' quindi composto da un numero praticamente infinito (o tendente all'infinito) di mondi, non si puo' pero' dire che siano tutti abitati... di conseguenza il numero di mondi abitati deve essere un numero finito.
Se i mondi abitati sono un sottoinsieme di infinito presumo siano infiniti anch'essi.
D'altra parte, in che modo potresti affermare di aver censito tutti i mondi abitati se ce ne sono infiniti altri da verificare?