>>169
後付の条件になってしまって申し訳ないのですが、今のところ類の定義として「類別の元である」を採っているので、その証明中の「類」の定義はどのようなものとしているのかご教示お願いします。