 Here is a simple, ingenious, logic-notation-free version of the argument given by Church (1956a: §04): Assume first that sentences do denote something or other. Now consider the following list of sentences: