[spam][crazy][fiction][random] Non-Canon MCBoss Spinoffs
mailbombbin
mailbombbin at gmail.com
Wed Sep 13 14:35:14 PDT 2023
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.
More information about the cypherpunks
mailing list