The Barber paradox is a paradox with importance to mathematical logic and set theory. The paradox considers a town with a male barber who daily shaves every man who does not shave himself, and no one else. Such a town cannot exist:
If the barber does not shave himself, he must bide by the rule and shave himself.
If he does shave himself, according to the rule he will not shave himself.
