Functional equivalence classes still seem to be abstract objects themselves, so the nominalist analy...
This proposition has not been edited since the history system was added.