2026-05-08 05:52 UTC
@sliminality@types.pl other: I still don't know it, because it is false in the contexts I care about (partial orders).
counterexample: in sets ordered by inclusion, not {1} {2}.
(For real though, I picked "show results" because I honestly don't remember when/how I learned this.)
Replies (1)
-
@sliminality@types.pl 2026-05-08 08:05
@rntz@recurse.social hah, yeah the original tweet said stuff about "classical negation of numerical inequalities" but then I decided no one was gonna read that so I edited it :P