“T ”的操作规范是“h ”的本质上确界。
这正好是上确界存在性的序列形式。
It is just the sequential form of the existence of least upper bounds.
实数集的上确界公理用到了实数集的子集,这是一种二阶逻辑的陈述。
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement.
实数集的上确界公理用到了实数集的子集,这是一种二阶逻辑的陈述。
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement.
应用推荐