Regarding insults, you started by suggesting that philosophers of math were ignorant of the distinction between truth as either proof theoretic derivation from axioms, or truth in a model and truth simpliciter, I don&#x27;t think you have room to worry about who is being insulting. Philosophers typically would be introduced to these concepts in advanced undergraduate logic or early on in grad school.<p>As for the rest of it, I&#x27;ll leave with one final thought: as a meta-philosophical point, we should rarely attribute meaninglessness to statements unless we are forced to. And it&#x27;s easy enough to show how to interpret existentials as meaningful even in the absence of a referent. You would have to have very compelling reasons for analyzing mathematical statements the way you want to, and I haven&#x27;t heard any, only your conviction that it&#x27;s right.