If R is not a member of itself, then its definition dictate…
If R is not a member of itself, then its definition dictates that it must contain itself, and if it contains itself, then it contradicts its own definition as the set of all sets that are not members of themselves.
https://twetch.app/t/822881b2dd9ed43a3ef252c0fed1fee4ef0e44634040a91c6e89e09ed5e737e0
Replies
maybe R is just a proof of work protocol in action. a protocol is not the work, but the work is the protocol.