>>587
その上の例のところに
＞どんな形式的定義によってもこの多様さを包摂することはできないだろう。
と書いてある。

定義の所には
＞以下では、曲面とは第二可算公理を満たす二次元の多様体とする。
のように「以下では」と断っているので、
これが唯一絶対の定義というわけではない。