Soweit ich weiß, basieren Datentypen in der Informatik aufgrund von Russells Paradoxon nicht auf der Mengenlehre, aber wie in realen Programmiersprachen können wir so komplexe Datentypen wie "Menge, die sich nicht selbst enthält" nicht ausdrücken, oder? Angenommen, in der Praxis ist der Typ eine unendliche Menge seiner Mitglieder, wobei die Instanzmitgliedschaft durch die Anzahl der Merkmale definiert wird, die diesem Typ / dieser Menge eigen sind (Vorhandensein bestimmter Eigenschaften, Methoden). Wenn nein, was wäre das Gegenbeispiel?