>>291
いやいや、論理の問題よ。
一意に分類可能というもとでの証明は、分類可能と証明しなければ、それは証明にならない。
それを証明と主張するのなら、その前提を証明しなければならない。