tranny demon hacker on Nostr: but this raises an interesting thing: what are the options? i mean, explicit ...

but this raises an interesting thing: what are the options? i mean, explicit structures like sets work fine

but in formal logic, there are other options beyond that, which I've never seen brought into programming