14 Sep
2023
14 Sep
'23
6:36 a.m.
On 9/13/23, mailbombbin <mailbombbin@gmail.com> wrote:
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.
the proof of undefinability of truth relates to the truth of sentences that do not relate to the larger world so it conceptually aligns somewhat with the idea of things not associated with other values being undefined.