>>378とか>>379とか>>392の言うのは
モデル理論っつうかただの集合論なような

極論すればユークリッド幾何の中でも非ユークリッド幾何のモデルを
作れるっつうのを、一々モデル理論によれば、（ｒｙとか言っているような感じ