알레프 수: 두 판 사이의 차이

[[실수]] 집합의 크기, 즉 <math>2^{\aleph_0}</math>는 알레프-0보다는 큰 기수로, 알레프-1과 같거나 더 크다. 이때 실수 집합의 크기와 알레프-1이 같은지를 묻는 것이 [[연속체 가설]]이며, 이는 [[체르멜로-프란켈 집합론]] 내에서 무모순이고 다른 공리와 독립이라는 것이 증명되었다. 즉, 두 수가기수가 같다는 공리를 새로 도입하거나 혹은 반대로 두 수가기수가 다르다는 공리를 모순 없이 도입할 수가 있다.