灯下 登录

实数七 · 加法

Arithmetic operations must be rebuilt for the constructed numbers.

对构造出来的数,四则运算要重新建立。

不能只宣布切割是数,还要证明它们能像数一样运算。

cut(a)+cut(b)=cut(a+b)

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

  1. 确认对象。

  2. 写出关系。

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

严格教材最重视这些“显然”的背后工作。