On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos

Makoto Kikuchi, Taishi Kurahashi, Hiroshi Sakai. On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos. Math. Log. Q., 58(4-5):307-316, 2012. [doi]

Abstract

Abstract is missing.