Benacerraf's problem concerns abstract objects' identity, not reducibility; computational/logical no...
This proposition has not been edited since the history system was added.