>>444
>望月新一のいう「種」は 、ブルバキの構造種 (species of structure) のことらしい
>https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E6%A7%8B%E9%80%A0#%E6%A7%8B%E9%80%A0%E3%81%AE%E7%A8%AE

ありがとうございます
なるほど
そこに記載の
”構造の同一性
同一の階梯の二つの部分集合をとり、そのそれぞれに属する種 T, T' が具体的に述べられた公理によって定義され、かつそれらの間の全単射 T ↔ T' が具体的に表されているものとする。このとき、対応する構造 (T ∋) τ ↔ τ' (∈ T') は、与えられた基底の上に同一の構造を定めるものと見なされ、種 T, T' のそれぞれを定義する公理系は互いに同等であるという[6]。
例えば、位相構造が多くの同等な公理系により与えられ得ることを想起せよ。”

が、多分該当しますね

　>>435より
”基礎論破ってない と本人が言っている
　>>316 再録
"artificial solution to the "membership equation a ∈ a""
については、[cf. the discussion of [IUTchIV], Remark 3.3.1(i)]で
"大まかに言えば、基礎の公理に違反することなく「∈ ループをシミュレートする」こと（が可能）です"
が結論”