  The generalization—which Church does not formulate and which was first formulated by Fitch (1963)—has become known as “The Knowability Paradox” or “Fitch’s Paradox” and it has been the subject of a great deal of wide-ranging commentary collected in Salerno’s (2009).  Fitch’s argument may be formulated as follows: