21/11/23 23:04:52.85 oHpH/WO0.net
あ、もちろん無限列の話ね、有限列なら存在は自明だから。
無限列s:N→N∪{ω} が存在すると仮定すると、s(n)=ω となる n をどの自然数と定めても矛盾となる。
まあ三歳児くんは数列の定義の確認からね。>>478まだ実行してないね。せっかくアドバイスしてやったのに。
21/11/23 23:04:52.85 oHpH/WO0.net
あ、もちろん無限列の話ね、有限列なら存在は自明だから。
無限列s:N→N∪{ω} が存在すると仮定すると、s(n)=ω となる n をどの自然数と定めても矛盾となる。
まあ三歳児くんは数列の定義の確認からね。>>478まだ実行してないね。せっかくアドバイスしてやったのに。