>>205
「可付番の実数で0と1の区間にあるものの小数展開を番号に沿ってならべて対角線に並べて一致しない数字を並べて作る」という「構成法」

それが構成的でないというのが味噌ですね