 Incidentally, Frege’s logicism and the neologicist program use one-to-one correspondence to state identity criteria for “concepts” even when infinitely many objects fall under the concepts. For alternative criteria for assigning numbers to infinite concepts see Mancosu (2015) and (2016).