Suppose that there are n prisoners. The next day the prisoners will be put in a line (each one can see those in front of him) and they will each get a hat that is either black or white. They cannot see their own hat but they can see all the ones in front. The executioner will start from the back (one who can see all) and shoot the prisoner if they get their hat colour wrong. The prisoners can save n-1 of themselves using a strategy that I will outline now.

Now here is the puzzle. If there are countably infinite number of prisoners, and they are all deaf or cannot communicate with each other at all (so the system for the finite case will not work), show by using the AC you can save all but finitely many of them.

Here is a hint if you want it: