15/03/14 09:04:47.23 1ktc1FSG.net
つづき
>>220の渡辺 治 [PDF]計算複雑さ解析法＃2 対角線論法 - TOKYO TECH OCW が良い
P4 2 進数αを使った説明が良い
”この対角線論法は，無限長2 進列の無限集合A （ただし，要素を並べることができるもの）に対し，それに入らない無限長2 進列を作る方法である．
その議論でのポイントは，
(i) A の要素（無限長2 進列）を並べた表を作り，
(ii) その対角線の値（0 または1）を反転させた無限長の2 進列としてαを定義する，
の2 点である．
このようにすると，A に入らない2 進列α の構成が可能になるのである．”
これ、べき集合の>>526”定理1 自分自身の巾集合を含むような集合は存在しない．より正確には，任意の集合X について，その巾集合2X からX への単射は存在しない．”
の説明になっている
上で構成した、A に入らない2 進列αを使って、定理1の証明（自己否定言及）にもってゆくのかなーと