>>156
コーシー実数がコーシー完備であることの選択公理を使わない証明。
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97#%E5%AE%9F%E6%95%B0%E3%81%AE%E6%A7%8B%E6%88%90

複素数体=R[x]/(x^2+1)　つまりRにx^2+1の根を添加した二次拡大体。

初歩の初歩から分かってないオチコボレの妄言は聞き飽きた。