 Before we turn to the definitions required for the proof of Frege’s Theorem, it would serve well to discuss one other group of insights underlying Frege’s analysis of numbers. The first is that the following series of concepts has a rather interesting property: