[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