I don’t think “exist” means a single thing even in mathematics. For example, in second order logic I’d consider quantifying over elements in the domain of discourse to be different than quantifying over relations.
I would still consider this to be a single thing, the same way that “P and Q” is still a statement.
Phrasing this in different way when I say “exist” I mean “either exist in the sense of quantifying over relations or elements”(definition subject to revision as I learn more non-first order logic).
I don’t think “exist” means a single thing even in mathematics. For example, in second order logic I’d consider quantifying over elements in the domain of discourse to be different than quantifying over relations.
I would still consider this to be a single thing, the same way that “P and Q” is still a statement.
Phrasing this in different way when I say “exist” I mean “either exist in the sense of quantifying over relations or elements”(definition subject to revision as I learn more non-first order logic).