プログラムA を与えるとそれが止まるか止まらないかを判定するプログラム H が存在したとする‥
止まるとき止まらない、止まらないときとまる‥
ぐだぐだハイ論破‥