In a indubitable town, there are the forthcoming canons of the town barber: Anyundivided who does referable interdivergence himself must be interdivergenced by the barber. Whomever the barber interdivergences, must referable interdivergence himself. Pretence that no barber can aim these requirements. That is, formulate the requirements as sentences of FOL and pretence that in any explanation where the highest canon is gentleman, the succor undivided must be erroneous. (This is designated the barber’s ambiguity and was formulated by Bertrand Russell.)
These couple sentences leads to contradictions if we ponder whether barber interdivergences himself or referable.The barber canreferable interdivergence himself as he merely 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 cluster of vulgar who would be interdivergenced by the barber, and thus, as the barber, he must interdivergence himself.