二次元ユークリッド空間（E^2、ユークリッド幾何のモデル)内に構成した
双曲幾何のPoincare円盤モデル（Hyp）はE^2内ではただの円盤C⊆E^2に見えている。
円盤モデルの中での直線は、E^2の図形として見ると、Cに直行する円弧に見える。

つまり
(直線)^(Hyp)
= (Cに直行する円のうちC内の部分の円)^(E^2)
= Cに直行する円のうちC内の部分の円

http://upload.wikimedia.org/wikipedia/commons/3/34/Triangolo_iperbolico.svg

スコーレムの話も同じことだよ。当時既に非ユークリッド幾何なんて
普通に知られていたから、数学者の間で大激論が起こったりとかはしなかった。
スコーレム自身が自分で解決したんじゃなかったかな。