実数
real number
$ \Reals
実数の濃度
連続の濃度
対角線論法
デデキントの切断