實數系是一個連續的有序域。

blog comments powered by Disqus