Here is a well-known logic puzzle: Given that there are more inhabitants of New York City than there are hairs on the head of any inhabitant, and that no inhabitant is totally bald, does it necessarily follow that there must be at least two inhabitants with exactly the same number of hairs?
Here is a little [...]