Is the Primordial Soup Done Yet?
For more on the general considerations of formalizing or ``explicating'' intuitive notions, see
Quine 1960
, sections 53 and 54, and
Chomsky 1957
, pp. 13--14.