If you couldn't count, you could figure out that both of your hands had the same number of fingers by matching each with the corresponding finger on the other hand. There exists a bijection between the sets of fingers from your right and left hands. Same reasoning is applied to arbitrary sets, including infinite ones.