 Finally, it is of interest to consider how truth values can be introduced by applying so-called abstraction principles, which are used for supplying abstract objects with criteria of identity. The idea of this method of characterizing abstract objects is also largely due to Frege, who wrote: