>>945
数学には場合分けがあるはず。
PS JSとMHは 同型 ラベルについて
見解が分かれた。
PS JSの見解に基づくと 内部矛盾が生じる。
PS JSが普通の数学なら、
MHのIUTは全く新しい数学ですか?