there are a lot of symbols i suspect that if you special-case self-reference or contradictions with axioms as undefined that the diagonal lemma and tarski's proof of the undefinability of truth may no longer work out and i would expect the "real" reason for this to be assuming contradiction with semi-intuitive axioms but i don't know anything i barely understand all these logic symbols
there are only a few. they are likely comprehensible.
