灯下 登录

实数六 · 实数的序

Cuts can be ordered by inclusion of lower classes.

切割可由下类包含关系排序。

大小比较不再靠图像,而靠集合关系。

L_a subset L_b

先用现代记号固定骨架,再回到原典术语。

  1. 确认对象。

  2. 写出关系。

  3. 说明这个关系在历史上解决了什么问题。

这是现代分析的地基语言。