>>16 つづき

従って
ω　{{・・・{Φ}・・・}} （可算無限）として、ここに、{}はω重ですね。
こう定義しても、なんの不都合もない

ダメだよ、こんなの。
集合論で認められてる述語論理の範囲で定義してよ。
通常の数学の教科書のωはその方法で定義されてるんだから。
あなたのωもその範囲で定義して下さい。