現代数学の系譜 カントル 超限集合論他 3

55 ：１３２人目の素数さん：2020/07/28(火) 11:05:03 ID:U9fCF8yb.net

>>54
つづき

This is no different to saying that (an) is equivalent to (bn) if and only if
an = bn for all sufficiently large n. Thus the elements in our new system are
equivalence classes of real sequences, denoted by <an>. We now define the
relevant operations and order of our new system.

P14
Chapter 3
Non-standard Analysis
3.1 Construction of the Hyperreals *R
(引用終り)
以上