よく分かってないけど、可算無限個のものをすべて書き下せないということと、ある基数の大きさについて記述できないこと(ZFCから独立)って少し種類が違うように思うんだが
それとも論理体系をゲーデル数化(?)してみると根本では同じ問題とか？