ふと思ったんだけど
体の拡大って
x²-2=0の解が無理数で
±√2を解の集合に追加する

って解釈してるんだけど
合ってる?