しかしちょっと違うな、ゲーデルの場合は無限に対応してるとしてそこからそれでも、と言う訳だから、

でも可附番集合の無限で対応させて連続体集合（直線）があるから不完全だというんだよ。だから

これでいいのだ。