>>294
分類不能などとは主張していないが。
分類可能でなければ証明にならないので、分類可能と証明しなさいと言っているだけ。
現状では証明の体をなしていない。