[spam][crazy][fiction][random] Non-Canon MCBoss Spinoffs

[mailbombbin]

On 9/13/23, mailbombbin <mailbombbin at 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.