Counting Is Hardcounting_is_hard@mathstodon.xyzOct 5, 2026, 4:47 PMTag yourself, I'm strongly unfoldable#settheory #logic