13 Sep
2023
13 Sep
'23
9:35 p.m.
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.