Makoto Kikuchi A Note on Boolos' Proof of the Incompleteness Theorem. 528-532 1994 40 Math. Log. Q. db/journals/mlq/mlq40.html#Kikuchi94