Dies taugt jedoch nicht als Definition des Funktors a. Freges origineller Vorschlag aus den Grundlagen der Arithmetik besteht deshalb darin, als das Abstraktum zu einer gegebenen Äquivalenzrelation einfach die zugehörige Äquivalenzklasse anzusehen.