16/09/11 18:07:49.54 0EShiXw6.net
>>525
> 任意の自然数nに後者n+1がある。それを続ければ、無限集合としての自然数の集合が得られる。
1.「任意の自然数nに後者n+1がある」
有限の値をとる自然数nがあれば必ずそれより大きな自然数n+1(当然有限の値をとる)が存在することには
終わりがない
2.「それを続ければ、無限集合としての自然数の集合が得られる」
1.が終わらないことで無限集合であることを示しているのならば自然数の全てを数え終わることは当然できないので
無限大が出てくる余地はない
スレ主がやっているように無限大を自然数の延長として扱おうとするのならば自然数の全てを数え終わることを
仮定しなければいけないがスレ主はどのようにすれば自然数の全てを数え終わるとみなせるかを示していない
要は時枝問題は自然数の全てを数え終わることを仮定すると数当て戦略が成立するといっている