>>253
私の解析の教科書はデデキントからスタートするのですが、これってやっぱり古いのですか？