>>414
>>395
必要ではなくて、∈-loops になるところがある。

だから、iut-Ⅳの§3に、基礎の公理についてのセクションを書いた。>>320

北大の論文では、極限の解析ならば、、、の条件かあるよ。