2.3. The Principle of Induction
The barber of Seville is that inhabitant of Seville who shaves every man in Seville that does not shave himselfThis is a paradox, because who will shave the barber of Seville himself ?
- if the barber does not shave himself, he - according to definition - must shave himself, because he shaves all who do not shave themselves
- if the barber does shave himself, he - according to definition - can not shave himself, because the barber only shaves those who do not shave themselves