命題「co-tail は存在する」

(1)co-tail={s_n, s_(n+1),...} の形に書けるとする
矛盾が導かれる(>>60)ので偽である。

(2)co-tail={s_n, s_(n+1),...} の形に書けないとする
co-tail の定義
＞４．ここで、{s',s'',s''',・・・}たちには、しっぽの共通部分(co-tailと呼ぶ）がある。co-tailは、ある番号から先のしっぽで、全ての同値類の元たちに共有されている部分だ
と矛盾するので偽である。

co-tail が {s_n, s_(n+1),...} の形に書けても書けなくても偽であることが証明されました。