>>6、>>12
お久しぶりです。おっちゃんです。
>ここで、564の解答があるから、617は別に難しくない
617を解くのに超越基底はいらない。それどころか、体も殆どいらない。
本当に簡単な複素解析、加法群の定義、集合論の知識があれば十分かな。
617を解くにあたっては、連続体仮説の問題も関係ない。
で、答えは、自然数全体からなる集合の濃度をℵ_0として、実数直線Rの濃度2^{ℵ_0}。
何か凄いバトルやっていたようだな。