 'The number of F's' is defined as the extension of the concept "G is a concept that is equinumerous to F".The concept in question leads to an equivalence class of all concepts that have the number of F (including F).Frege defines 0 as the extension of the concept "being non self-identical".