- 99 名前：１３２人目の素数さん [2017/10/04(水) 23:16:33.67 ID:+jot/gRn.net]
- 命題「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),...} の形に書けても書けなくても偽であることが証明されました。
