>>480
479っで言ったことは「非可算無限集合は{と}で表せない」ということではなくて，「{と}で表せるのは可算無限個しかない」ってことね．
細かいけど．
{を1に，}を2に，コンマを3に置き換えれば，記号の有限列は自然数と対応する．
だから，すべての集合が{と}とコンマで書き表せるならば，集合は高々可算無限個．
わかりにくければゲーデルナンバリングとかで考えてみて．