finnes ock en otaligmängd