Annäherung an die Russellsche Antinomie: Eine Bibliothek möchte einen Bibliographie-Katalog erstellen, in dem alle Bibliographie-Kataloge aufgelistet werden, die keinen Verweis auf sich selbst enthalten.