GEBってそんなにいいかあ？
対角線論法ならペンローズの『皇帝の新しい心』の方が
数倍わかりやすく納得できるが。