19/09/29 23:24:15.78 r2OLtCsd.net
>>706
多分ですけど、数えるという操作は何度でもいつまでも、無限にやり続けることが
できる、という意味での無限は認める。
でも、あたかもその結果として数え終ったかのように自然数全体(の集合)というの
を想定するのを認めないということのように思いました。
なので集合としては有限のものしか認めないということと同じことを主張している
ように思います。
たぶんですが。
で、その前提で数学として体系化できるのか?はよくわからないです。
が、無限集合を認めない段階で、集合論をベースにしている現代の数学
はほとんど不可能になるので、かなり数学の射程範囲を狭めることになるし、
自然数とか、有理数とか、実数とか無限集合を認めないでどうやって定義する
のも疑問。