>>455
>>376についてだが A[[X]] という記号自体が環Aのベキ級数環を指すんだが。
あと、時枝記事のどこにも超越数は出て来ず、時枝問題では関係ない。