>変数しか項がないような言語であることに気付かない
さすがにそんなことに気付かない訳無いでしょ……
こんなの公理論的な集合論について勉強し出した
一、二年生でも自明に分かることだし、一応集合論で博士号貰ってる人なんだし。

仮に勘違いしてるとしても、無意識のうちに
もう少し意味のある存在具体性のformulationと混同してるとかじゃないの?

もう少しprinciple of charityに沿って人の言葉を解釈するべきだと思う