무한집합 중 크기가 제일 작은 집합은 자연수이고, 그리고연속체 가설은 자연수집합이 무한집합 중에서 크기가 제일 작은 집합이고 그 다음 크기가 큰게 실수집합이라는건데, 그렇다면, 유한집합과 무한집합의 경계를 가르는 그러한 지점도 있을까?
초한집합에 대한 기수 크기가 ℵ_0 < ℵ _1 = 2^ ℵ _0 인거면, ℵ _(-1) < ℵ _0이 가능할 수도 있겠고 (표기 편의상 -1로 가정)
연속체 가설이 보이는 규칙성에 따르면, ℵ _0 = 2^ ℵ _(-1)인 것이 될 수도 있겠는데, 혹시 관련 정보 같은걸 아는 사람 없음?
