>>752
避けられます

実数を実数の公理系を満たすモデルとして定義します
実数の公理系の話は代数の話です
実数の可換環としての性質です

>>753
集合論を用いて定義する方法はもはや標準的ではありません
あなたのような人を私は嫌悪してるのです

また、代数的な方法、というのは、彼が集合論だと思ってる方法です
ですから彼は何もわかってないのです