英語の読めないsetaの言ってることはトンチンカンだから放っておけ
S-Sへの望月の反論すら読んでないんだからな
論文II〜IVにラベルが出ないと勘違いできたぐらいだからな

taoのコメントについて言えば前提となる
＞it seems to me (if I am not mistaken)...
が崩壊してるから無効
taoが2012年当時にざっと見たらIVの内容がI〜IIIに引用されてないから
使われてないんじゃないかって勘違いしちゃった
しかし実はIVの内容がI〜IIIに引用もされずにガッツリ使われてるのよ
S-Sへの望月の反論"Rpt2018" (H2)にもそう書いてある
algorithmを適用する際に対象（注１）が持っている型（注２）を
指定するのがspeciesの理論
speciesはmutationを起こしたりするよ
（注１）対象は恐ろしいことにおそらくはset theoretic formula
（注２）例えば同じ対象を、ある特定の体の同型群として見做すか
　　それとも抽象的な位相群であると見做すかを指定する

つまりI〜IIIではspeciesの理論が成立しないことには
正当化できないことをしてるってわけ