19/12/24 10:10:14.44 u6yGTjeG.net
>>55
>いや、極限と定義するなら位相を定義しないと。
>そのためにはまずZermelo順序数のなす集合を定義しないといけなくなって定義が循環します。
なんか極限分かってない?
極限をいうためには、有限部分の定義だけで済む
Zermelo順序数の有限部分の定義は明白
(というか、Zermeloに限らず、様々な後者関数で定義可能)
有限部分の定義から、極限 lim n→∞ suc(n) が出るよ
確かに、n→∞の部分で下手すると循環論法だが
しかし、公理的な構成という枠を外せば(つまり、”∞”の構成が別の手段で終わった後で)
いろんな後者関数の極限が定義できる
数学として普通だよ