Caledonian2 comments on The Parable of the Dagger

[Caledonian2]

But can self-reference be formalised?

Yes. Godel demonstrated this.