>>360
>＞だから、co-tail(n) not= Φ(空集合)です
>から
>＞だから、「co-tail は存在する」が成立します！
>に、数学的帰納法では埋められない巨大なギャップがあるよと言っているのです。

はいはい
思うに、その話は、多分 参考資料：数学的帰納法について、バートランド・ラッセル 「無限公理」(1904)（>>94-95）
と同じ話だと思いますよ
どうぞ、ご参照ください（＾＾