1. 기본 정의 집합의 크기를 비교하는 기준은 전단사함수(Bijection)의 존재 여부다. 두 집합 사이에 전단사함수가 존재하면 크기가 같다고 정의한다. 이는 유한 집합뿐만 아니라 무한 집합에도 동일하게 적용된다. 무한 집합은 두 가지로 분류한다.Countable: 유한하거나 countably infinite한 집합Uncountable: countable하지 않은 집합 모든 countably infinite한 집합의 크기는 ℵ0(aleph null)로 표기한다. ℵ0는 "가장 작은 무한의 크기"에 붙인 이름이다. ∣N∣=∣Z∣=∣N×N∣=ℵ0. 2. Hilbert Hotel — 무한의 역설 무한히 꽉 찬 호텔에 새 손님이 왔을 때 방을 만들 수 있을까? 유한한 호텔이라면 불가..