„Man kann doch einfach alle Arten von sehenden Wesen beobachten und ihnen ihre Sehfähigkeiten abschauen.“
Die Idee dabei wäre, die Menge aller sehenden Wesen auf die Menge aller Sehfähigkeiten abzubilden – also die Gattungskategorien für sehende Wesen zur Kategorisierung von Sehfähigkeiten zu benutzen.
Die Idee, man könne Sehfähigkeiten anhand sehender Wesen unterscheiden.
Ein Problem dabei: Die Menge benennbarer Wesenstypen ist grenzenlos.
Das geht allerdings nicht, und zwar aus drei Gründen nicht: