Lectures on the Philosophy of Mathematics

by Joel David Hamkins

In order to define a concept of number suitable for his program, Frege undertakes a process of abstraction from the equinumerosity relation. He realizes ultimately that the equinumerosity classes themselves can serve as numbers.