僕が（常識的な）普通の数学者だという保証は何処にもありませんが、でも
もしモデル無しで抽象概念が構築出来たら、それが一番ベストでしょうが、
そうはなかなか行きませんよね。それでnon-euclidean geometryは抽象概念
だと僕は了解していますが、その一方で複素上半空間とかPoincare diskに
住んでいる動物達はもっともっと豊かだと思いますよ。何せ（一変数）複素
函数論っていうのは美しく仕上がった現代数学の雛形みたいなモンでしょう？