21/05/07 10:03:27.29 Y/ho//XE.net
>>699
>>ところで・・・ω⊂2^ω なんだよね？
>結局同じでしょ。
ええ、だからω⊂2^ωとかいたほうが簡単かと思いまして
>ω⊂2^ωを言うためには、∀n∈ω ⇒ n∈2^ω を言わないといけない。
その通り そういう定義ですからね
21/05/07 10:03:27.29 Y/ho//XE.net
>>699
>>ところで・・・ω⊂2^ω なんだよね？
>結局同じでしょ。
ええ、だからω⊂2^ωとかいたほうが簡単かと思いまして
>ω⊂2^ωを言うためには、∀n∈ω ⇒ n∈2^ω を言わないといけない。
その通り そういう定義ですからね