Russellsche Antinomie
Diese beweisbare Aussage heißt aber im Klartext: Es gibt keinen, der genau diejenigen rasiert, die sich nicht selbst rasieren. Die auf den ersten Blick sinnvoll erscheinende Barbier-Definition erzeugt also einen harmlosen leeren Begriff beziehungsweise eine leere Menge. Die Antinomie führt die Barbier-Definition ad absurdum. Russells Lösung zeigt nur den Definitionsfehler auf, gibt aber keine Lösung an, wie der Barbier eines Ortes sinnvoll zu definieren wäre. Das ist auch unwichtig, denn seine fiktive Barbier-Definition diente ihm nur zur Veranschaulichung seines abstrakten Gedankengangs für beliebige Relationen. Darin liegt die Bedeutung des Barbier-Paradoxons. Mathematisch und philosophisch bedeutungsvoll ist hauptsächlich die Variante, bei der statt formula_3 das umgekehrte Elementprädikat steht, das die Russellsche Antinomie erzeugt, den wichtigsten Widerspruch in der naiven Mengenlehre.