自然数"集合論

有限の組代数的数の濃度を明らかにする証明の戦略として思いついたものをダラダラを書きます。まずは前提となる有理数の性質です。任意の有理数$x,y$を選んだ場合、$x<ny$(乗法とアルキメデスの性質)を満たす自然数$n$が必ず存在します。また...