&gt; I don&#x27;t really know what to say about your claims about meaninglessness, except that I think they&#x27;re false.<p>Syntax has no meaning outside of the rules for manipulating it. If no rule applies to a particular expression, then it has no meaning whatsoever. And, in any sensible formal system, like typed lambda calculi with Church-style semantics, expressions only have meaning in contexts where their free variables are bound.