Yes, I actually have a kind-of related blog post: https://pavpanchekha.com/blog/proof-system-os.html https://pavpanchekha.com/blog/proof-system-os.html I trie

Yes, I actually have a kind-of related blog post: https://pavpanchekha.com/blog/proof-system-os.html https://pavpanchekha.com/blog/proof-system-os.html I tried to restrict my post to just set theory because this philosophical point is often hard for people to grasp.