代数的数とは上の多項式の根になっているような複素数のことである。代数的数全体の集合をと書くことにする。 Cantorにより初めて次が示された。 proof より、は無限集合 とする。に対し、 と定めると、各に対し、明らかに、 は有限集合であり、属するの次数…