クルト・ゲーデル
Kurt Gödel and Paul Cohen.