>>887
>＞結論としては 用語”universe”は テレンス・タオ 「用語宇宙は "red herring" 」に賛成です
>つまり、「ラベル張り替えトリック」のinter-universeによる正当化は "red herring" ってことね
>ラベル張り替えにあたることを、別の理屈で説明する必要があり　これが結論

えーと>>880と同様に 単語 lavel で検索を書けると
IUT Iでは、119カ所ヒット（例えば P4". Whenv ∈ Vnon,theportionofaD-prime-strip labeled by v is given by a category equivalent to [the full subcategory determined by the connected objects of] the category of tempered coverings of Xv [when v ∈ Vbad] orfinite ´etale coverings of X −→v [when v ∈ Vgood]."）

因みに speciesは1カ所 P22の "At this point, the careful reader will note that the above discussion of the inter-universal aspects of the theory of the present series of papers depends, in an essential way, on the issue of distinguishing different “types of mathematical objects” and hence, in particular, on the notion of a “type of mathematical object”. This notion may be formalized via the language of “species”, which we develop in the final portion of [IUTchIV]."


IUT IIでは、lavel 0カ所 因みに speciesも0カ所

IUT IIIでは、lavel 0カ所 因みに speciesも0カ所

IUT VIでは、lavel 0カ所 因みに speciesは153カ所（但し P67 Section 3: Inter-universal Formalism: the Language of Species 以前が19で、ここから134カ所）

よって、用語 lavelは、IUT Iでは マグロ （中トロ？）
用語 speciesは、IUT VIでは タイのおつくり （といっても主文はたった19カ所で、あとの付録のSection 3で 必死に解説している）