_ (7/29記:とある暗号系の論文を調べていたら、参考文献欄に
K. Gödel, The Consistency of the Continuum Hypothesis, Princeton University Press (1940)
最近のツッコミ↓