>>433
ゲーデルの伝記「ロジカル・ディレンマ」によれば、
コーエンが証明を示した後にコーエンのほうから
ゲーデルに手紙を書いて「お墨付き」をもらおうとした
らしい

ゲーデルはコーエンの仕事を絶賛し、
すぐ出版したほうがいいといって
いろいろアドバイスしたと書いてあるから、
論文の出版前であることは確かである