Of course, it's predicate logic.
Now, if we're going to ascribe it to you, we have to know whether we're talking about first-order logic, second-order logic, many-sorted logic or infinitary logic. So, which one is it that is based on empty space again? Most of them appear to be based on mathematics.
From your own source:
In informal usage, the term "predicate logic" occasionally refers to first-order logic. Some authors consider the predicate calculus to be an axiomatized form of predicate logic, and the predicate logic to be derived from an informal, more intuitive development.
Just because mathematics is based on fopl doesn't mean fopl need to be expressed exclusively in mathematical symbols, now, does it?
Or that mathematical and set theoretic operations need be exactly the same? We already know that they are not necessarily the same, although they are 'analogous' according to the 'equivalence' principle.
Duh?