>>476
>たとえて言えば
>「ユークリッド幾何学」で成立する予想される命題について
>一旦平行線公準を無くした「前ユークリッド幾何学」に弱め
>さらに平行線公準が否定される「非ユークリッド幾何学」で
>制限条件を追加して証明している、
>というおかしなことをやっている感じ
あーこれなんか
イメージ分かりやすいですね