Một tập A được gọi là đếm được nếu nó cùng lực lượng với N, tức là có một song ánh đi từ N đến A.
Từ đây ta đi đến việc giải quyết bài toán. Xét tương ứng f:N------->Z cho bởi qui tắc với x chẵn thì f(x)=x/2, với x lẻ thì f(x)=(-1-x)/2. Rõ ràng f là ánh xạ. Với x1,x2 thuộc N sao cho f(x1)=f(x2); nếu x1 chẵn thì f(x1)=x1/2>=0,suy ra f(x2)>=0,do đó x2 chẵn, suy ra f(x2)=x2/2, suy ra x1=x2; nếu x1 lẻ thì f(x1)=(-1-x1)/2<0,suy ra f(x2)<0,do đó x2 lẻ,suy ra f(x2)=(-1-x2)/2, suy ra x1=x2; vậy f là đơn ánh. Với y thuộc Z tùy ý; nếu y>=0 thì chọn x=2y là số chẵn và khi đó f(x)=2y/2=y; nếu y<0 thì chọn x=-2y-1 là số lẻ và khi đó f(x)=(-1-(-2y-1))/2=y; vậy f là toàn ánh. Suy ra f là song ánh
