Wenn man in der Typentheorie zulässt, dass Typ ein Mitglied von sich selbst ist, macht dies die Theorie inkonsistent. Ich verstehe es in Analogie zu Russels Paradoxon in der Mengenlehre, würde es aber vorziehen, es in der Typentheorie zu sehen. Gibt es ein kurzes Beispiel für das Äquivalent in der Typentheorie?