>>668-669
トチ狂っているのは、あなたです

命題A「<上昇列 0<1<・・・<ω が有限列にしかなり得ない」
の証明に、あるn∈Nを持ってきて
命題B「<上昇列 0<1<・・<n<ω が有限列になる」
という例を作っただけでしょ?

それって証明かい?w