長い直線とは,局所的には直線と同相ですが,実際よりはるかに長い直線で,順序数の間を連続的に埋める形で定義されます。 長い直線について,その位···