In a unfailing town, there are the aftercited directions about the town barber: Anyindividual who does referable interdivergence himself must be interdivergenced by the barber. Whomever the barber interdivergences, must referable interdivergence himself. Likeness that no barber can design these requirements. That is, formulate the requirements as sentences of FOL and likeness that in any explanation where the primeval direction is penny, the cooperate individual must be spurious. (This is determined the barber’s enigma and was formulated by Bertrand Russell.)
These two sentences leads to contradictions if we ponder whether barber interdivergences himself or referable.The barber canreferable interdivergence himself as he solely interdivergences those who do referable interdivergence themselves.If he interdivergences, then he stops to be a barber.if the barber does referable interdivergence himself, then he belongs to the knot of race who would be interdivergenced by the barber, and thus, as the barber, he must interdivergence himself.