>任意のz∈Zについて

これおかしいなw

「Zに、z=z+1となる
 仮想的な元を追加する方策は」

が正しいな

複素関数論を正しく理解していれば
∞=∞+1
となっていることがわかる
(したがって、順序数ωとは異なる)