 The general argument strategy here has roots in the work of Plato, but its first clear formulation was given by Frege (1884, 1892, 1893–1903, and 1919). We begin with a general formulation of the argument: