19/10/04 22:49:51.91 4Fu/lmU2.net
>>16 つづき
従って
ω {{・・・{Φ}・・・}} （可算無限）として、ここに、{}はω重ですね。
こう定義しても、なんの不都合もない
ダメだよ、こんなの。
集合論で認められてる述語論理の範囲で定義してよ。
通常の数学の教科書のωはその方法で定義されてるんだから。
あなたのωもその範囲で定義して下さい。
19/10/04 22:49:51.91 4Fu/lmU2.net
>>16 つづき
従って
ω {{・・・{Φ}・・・}} （可算無限）として、ここに、{}はω重ですね。
こう定義しても、なんの不都合もない
ダメだよ、こんなの。
集合論で認められてる述語論理の範囲で定義してよ。
通常の数学の教科書のωはその方法で定義されてるんだから。
あなたのωもその範囲で定義して下さい。