21/11/21 08:44:27.01 ZtueUz+V.net
>>424
>でも、自然数とωが出来たら、集合族として、fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ωが
>考えられるということだ
考えられない
なぜなら
カッコの数が無限なら最外または最内カッコは存在できない（存在したら無限の定義に反する）
最内カッコが無いなら無限下降列ができる
最外カッコが無いならそもそも集合でない
集合族などと誤魔化したところでダメなものはダメ
21/11/21 08:44:27.01 ZtueUz+V.net
>>424
>でも、自然数とωが出来たら、集合族として、fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ωが
>考えられるということだ
考えられない
なぜなら
カッコの数が無限なら最外または最内カッコは存在できない（存在したら無限の定義に反する）
最内カッコが無いなら無限下降列ができる
最外カッコが無いならそもそも集合でない
集合族などと誤魔化したところでダメなものはダメ