It's also, it seems to me, a refutation of what is later stated by Hilbert and Bernays, who say that in both ordinary language and mathematics, we require that a description containing variables be everywhere defined, when it is used.