Clearly, there is no such method, and no such method could ever really be devised. Furthermore, why would we bother devising one? I hardly think, however, that talking about such things as the preciseness of certain languages is meaningless and moot simply because we can't prove with...