Logicism: Sets are Object Predicates