Not going to address your weird attempt at wordplay but again just so you know, subjective logic, which you linked, is equivalent to propositional (in a sense you can express any statement in subjective logic via a set of propositions, eg Ap distributions make this connection), and does not embed predicate logic (eg any statement of this system can be expressed in predicate logic, but not vice versa)…
Also, axiom can be just a rule in a rewriting system. Doesn’t have to be an assumption/opinion as it is just a proposition (or higher order predicate) that is true within some system (not necessarily related to anything that exists).
Things can be outside universe yet discussed by people in-universe (subsisting vs existing without multiple worlds).
What I am saying isn’t controversial in analytic philosophy/ epistemology…
Edit: on a more reconciliatory note, a classic essay that I enjoy that touches upon the idea of denotion/subsistence/existence/difficulty with predicates is Bernard Russel’s “On Denoting”. I suspect you may enjoy it: https://www.uvm.edu/~lderosse/courses/lang/Russell(1905).pdf
Also, axiom can be just a rule in a rewriting system. Doesn’t have to be an assumption/opinion as it is just a proposition (or higher order predicate) that is true within some system (not necessarily related to anything that exists).
Things can be outside universe yet discussed by people in-universe (subsisting vs existing without multiple worlds).
What I am saying isn’t controversial in analytic philosophy/ epistemology…
Edit: on a more reconciliatory note, a classic essay that I enjoy that touches upon the idea of denotion/subsistence/existence/difficulty with predicates is Bernard Russel’s “On Denoting”. I suspect you may enjoy it: https://www.uvm.edu/~lderosse/courses/lang/Russell(1905).pdf